Up: Cooperating sites
Previous: Padova
CNRS / Paris 7
The "Proofs, Programs, Systems" team of Univ. Paris 7 is a research team straddling the Mathematics and Computer Science departments. It participated to all the previous TYPES projects.
The team has a long-standing experience in mathematical logic, -calculus, proof theory and applications to programming. Main interests related to the TYPES project are in the design and development of proof assistants and in the study of computational content of logical systems and mathematical proofs.
The senior members of the "Proofs, Programs, Systems" team are:
- Michel Parigot, contact person
- Patrick Baillot
- Chantal Berline
- Pierre-Louis Curien
- Vincent Danos
- Roberto Di Cosmo
- Thierry Joly
- Delia Kesner
- Jean-Louis Krivine
- Yves Legrandgérard
- Pascal Manoury
- Alexandre Miquel
- Virgil Mogbil
- Paul Rozière
- Marianne Simonot
Bengt Nordström 2005-09-22