Laboratoire d'informatique de l'École polytechnique

Web site

Partout

Scientific pole: Proofs and Algorithms

Activities

The PARTOUT project is interested in the principles of deductive and computational formalisms. In the broadest sense, we are interested in the question of trustworthy and verifiable meta-theory.

Permanent researchers

PhD students

Administrative and technical staff

Jessica GAMEIRO (Polytechnique)