Supervisory authorities



Home > What is IQFA ? > Involved laboratories > Paris & metropolitan area > Laboratoire d’Informatique de l’Ecole Polytechnique (LIX)

TypiCal - INRIA

by Sebastien_Tanzilli - published on , updated on

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