Main contact : | Benjamin Werner | |
Other contact : | Gilles Dowek |
Research activities:
Research interests put the stress on the formalization of mathematics (type theory, set theory, etc.), in proof processing systems (proof-checking, automated theorem proving, etc.), in the design of quantum programming languages and in the safety of aerospace systems.
For more information: see online TypiCal