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.

Members