Laboratoire d'informatique de l'École polytechnique

Web site


Scientific pole: Proofs and Algorithms


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

Dale Miller (Inria)

Benjamin Werner (Polytechnique)

Noam ZEILBERGER (Polytechnique)

Associated or temporary researchers

Bryce CLARKE (Inria)

Peter FAUL (Polytechnique)

PhD students

Administrative and technical staff

Jessica GAMEIRO (Polytechnique)