| Contact principal : | Benjamin Werner |  |
| Autre contact : | Gilles Dowek | |
Description des activités de recherche :
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.
Pour en savoir plus : voir en ligne TypiCal