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

Ambroise LAFONT (Polytechnique)

Dale Miller (Inria)

Benjamin Werner (Polytechnique)

Noam ZEILBERGER (Polytechnique)

Associated or temporary researchers

Bryce CLARKE (Inria)

PhD students

Jui-Hsuan WU (Polytechnique)

Interns and apprentices

Mathis BOUVEROT (Polytechnique)