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

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)