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

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)