Laboratoire d'informatique de l'École polytechnique

Web site

Parsifal

Activities

L'équipe PARSIFAL développe et exploite la théorie des preuves, un sujet lancé par Gentzen dans les années 1930, réanimé par Girard dans les années 1980 et 1990, et maintenant appliqué largement aux fondations de l'informatique.

Permanent researchers

Beniamino Accattoli
( Chercheur, INRIA )

Kaustuv Chaudhuri
( Chercheur, INRIA )

Stephane Graham-Lengrand
( Chercheur, CNRS )

Francois Lamarche
( Chercheur, INRIA )

Dale Miller
( Chercheur, INRIA )

Lutz Strassburger
( Chercheur, INRIA )

Marco Volpe
( Chercheur )

Associated or temporary researchers

Matteo Acclavio
( Post-doctorant )

Danko Ilik
( Post-doctorant )

PhD students

Ulysse Gerard
( Doctorant )

Maico Carlos Leberle
( Doctorant )

Matteo Manighetti
( Doctorant )

Sonia Marin
( Doctorant )

Francois Thire
( Doctorant )