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

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