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
Beniamino Accattoli (Inria)
Kaustuv Chaudhuri (Inria)
Dale Miller (Inria)
Gabriel Scherer (Inria)
Lutz Strassburger (Inria)
Benjamin Werner (Polytechnique)
Noam ZEILBERGER (Polytechnique)
Associated or temporary researchers
Bryce CLARKE (Inria)
Peter FAUL (Polytechnique)
PhD students
Farah AL WARDANI (Inria)
Adrienne LANCELOT (Inria)
Olivier MARTINOT (Inria)
Marianela Evelyn MORALES ELENA (Inria)
Jui-Hsuan WU (Polytechnique)
Administrative and technical staff
Jessica GAMEIRO (Polytechnique)