Proofs, programs and systems

Pole

Thematic team Algebra and computation
Inria project-team Picube (Inria)
Thematic team Programs and Languages (PL)
Thematic team Proofs and programs

Head

Giulio Manzonetto

Research themes

The pole Proofs, programs and systems (PPS) aims at advancing the state of the art in the fields of theoretical foundations of programming languages, of interactive proof assistants, and more generally of computational formalisms. We investigate these subjects by combining three different approaches:

a syntactic approach, developing theoretical languages based on logical formalisms,
an algebraic approach, studying the mathematical structures underlying computation,
a practical approach, modeling and analyzing actual computational systems.

The pole is structured into three thematic teams, according to the three different approaches. These teams use their specific methods to contribute to the common scientific goals:

The PPS pole hosts the project-team $\pi r^2$ which is joined between INRIA, CNRS and Université Paris-Diderot — Paris 7. We also host several members of IRILL, the Center for Research and Innovation on Free Software which is a joined structure of INRIA, Université Paris-Diderot — Paris 7 and Université Pierre-et-Marie-Curie — Paris 6.

Events

Seminar Proofs, programs and systems
Online seminar Graph Transformation Theory and Applications
Working groups
Meetings Proofs, programs and systems

Permanent members

Search:

Name	@	Phone	Office	Position	Pole	Team
Abbes Samy	@	01 57 27 92 37	3046	Associate Professor	PPS	algebre
Amadio Roberto	@	01 57 27 92 47	4020	Professor	PPS	preuves
Baudart Guillaume	@		4026	Research Scientist - INRIA ISFP	PPS	picube , preuves , programmes
Behr Nicolas	@	01 57 27 90 85	3030	Research Scientist - CNRS	PPS	algebre , preuves
Bernardi Giovanni	@	01 57 27 93 38	4021	Associate Professor	PPS , ASV	preuves , verif , programmes
Bucciarelli Antonio	@	01 57 27 94 33	3045	Associate Professor	PPS	algebre , preuves
Castagna Giuseppe	@	01 57 27 93 40	3039	Senior Research Scientist - CNRS	PPS	preuves , programmes
Curien Pierre-Louis	@	01 57 27 92 23	3013	Senior Research Scientist Emeritus - CNRS	PPS	picube , algebre , preuves
Dagand Pierre-Evariste	@	01 57 27 94 29	3012	Research Scientist - CNRS	PPS	programmes
Douteau Sylvain	@		3030	Associate Professor	PPS	algebre , preuves
Ehrhard Thomas	@	01 57 27 92 17	4014a	Senior Research Scientist - CNRS	PPS	algebre , programmes , preuves , picube
Faggian Claudia	@	01 57 27 90 86	3032	Research Scientist - CNRS	PPS	algebre , preuves
Férée Hugo	@	01 57 27 94 05	4011	Associate Professor	PPS	programmes , preuves
Gaucher Philippe	@	01 57 27 92 55	3049	Research Scientist - CNRS	PPS	algebre
Geoffroy Guillaume	@	01 57 27 94 15	3019	Associate Professor	PPS	algebre , preuves
Guatto Adrien	@	01 57 27 94 15	3019	Associate Professor	PPS	algebre , programmes , preuves
Herbelin Hugo	@	01 57 27 90 87	3029	Senior Research Scientist - INRIA	PPS	algebre , picube , preuves , programmes
Joly Thierry	@	01 57 27 92 55	3049	Associate Professor	PPS	preuves
Kesner Delia	@	01 57 27 92 38	3020	Professor	PPS	algebre , preuves
Krivine Jean	@		4027	Research Scientist - CNRS	PPS	algebre , programmes
Krivine Jean-Louis	@	01 57 27 92 39	3008	Professor Emeritus	PPS	algebre , preuves
Ledent Jeremy	@	01 57 27 92 58	3022	Associate Professor	PPS , ASD	algebre , distribue
Letouzey Pierre	@	01 57 27 93 37	3040	Associate Professor	PPS	picube , programmes , preuves
Lévy Jean-Jacques	@	01 57 27 92 68	4032	Senior Research Scientist Emeritus - INRIA	PPS	preuves , picube , programmes
Manzonetto Giulio	@	01 57 27 93 54	4015	Professor	PPS	algebre , preuves
Melliès Paul-André	@	01 57 27 92 48	3023	Senior Research Scientist - CNRS	ASV , PPS	automates , algebre , preuves , picube
Métayer François	@	01 57 27 94 29	3012	Associate Professor Emeritus - Université Paris Nanterre	PPS	algebre
Narboux Julien	@	01 57 27 92 58	3022	Associate Professor	PPS	programmes , preuves
Padovani Vincent	@	01 57 27 93 39	3045	Associate Professor	PPS	preuves
Petrisan Daniela	@	01 57 27 94 00	4016	Associate Professor	ASV , PPS	automates , algebre , picube
Picantin Matthieu	@	01 57 27 94 49	4043	Associate Professor	PPS , ASV	algebre , automates
Rozière Paul	@			Pensioner - MCF Université Paris Cité	PPS	preuves
Ruet Paul	@	01 57 27 92 48	3023	Research Scientist - CNRS	PPS	algebre , programmes
Saurin Alexis	@	01 57 27 93 37	3040	Research Scientist - CNRS	PPS	algebre , programmes , preuves , picube
Scherer Gabriel	@		4032	Research Scientist - INRIA	PPS	algebre , programmes , preuves , picube
Treinen Ralf	@	01 57 27 92 44	3021	Professor	PPS , ASV	programmes , verif
van Gool Sam	@	01 57 27 94 05	4011	Associate Professor	ASV , PPS	automates , algebre

Non-permanent members

Search:

Name	@	Phone	Office	Position	Pole	Team
Ait-Moussa Djamel	@			Intern	PPS	algebre
Arambillete Santiago	@		3033	PhD Student	PPS	preuves
Aristote Quentin	@		3010	PhD Student	ASV , PPS	automates , picube
Arrial Victor	@		3018	PhD Student	PPS	preuves
Barszezak Yoann	@			Teaching and Research Assistant	PPS	preuves , algebre
Bauer Esaie	@		3028	PhD Student	PPS	preuves , picube
Calandra Federico	@		3035	PhD Student	PPS	algebre
Catz Manuel	@		4055	PhD Student	PPS	preuves
Cerda Remy	@		3057	Post-Doc	PPS	algebre , preuves
Cherradi El-Mehdi	@		4054	PhD Student	ASV , PPS	automates , algebre , preuves
Chikhoune Idir	@			Visitor	PPS	programmes
Coutereel Marie	@			Intern	PPS	algebre
De Faveri Arturo	@		4033	PhD Student	PPS	algebre , preuves
Di Donna Raffaele	@		3010	PhD Student	PPS	algebre , preuves
Di-Guardia Remi	@		3028	Post-Doc	PPS	algebre
Duboc Guillaume	@		3010	PhD Student	PPS	programmes
Erlich Enzo	@		3014	PhD Student	ASV , PPS	automates , algebre
Gallego Emilio	@	01 57 27 92 24	4030	Starting research position - INRIA	PPS	picube , algebre , preuves , programmes
Giusti Giulia	@		4055	PhD Student	PPS	algebre , preuves
Huang Xuejing	@		3018	Post-Doc	PPS	programmes , preuves
Jafar-Rhamani Farzad	@	01 57 27 92 92	3026	Post-Doc	PPS	algebre , programmes , preuves , picube
Jubert Moana	@		3034	PhD Student	PPS	picube , algebre , preuves
Kirst Dominik	@		4053	Post-Doc	PPS	preuves , picube , programmes
Kniazev Roman	@		3018	Teaching and Research Assistant	PPS	algebre
Lancelot Adrienne	@		3026	PhD Student	PPS	preuves
Laurent Mickael	@		3033	PhD Student	PPS	programmes , preuves
Lopez Gaetan	@		4059	PhD Student	PPS	algebre
Manara Giulia	@		3014	PhD Student	PPS	preuves
Mangel Eleonore	@			PhD Student	PPS	preuves
Martinez Thierry	@	01 57 27 90 87	3029	Research ingenior - INRIA	PPS	preuves , picube
Marzaioli Miriam	@		4055	PhD Student	PPS	algebre , preuves
Mathieu Adrien	@			Intern	PPS	preuves , picube , programmes
Milicich Mariana	@		3026	PhD Student	PPS	algebre , preuves
Moreau Vincent	@		4033	PhD Student	ASV , PPS	automates , picube , algebre
Ndiaye Yves	@			Study ingenior	PPS	programmes
Nourel Astyax	@		3044	Teaching and Research Assistant	PPS	programmes
Pasquale Valentin	@			PhD Student	PPS	algebre , preuves
Quennet Titouan	@		3060	Intern	PPS	algebre , programmes
Ramos Miguel	@		3033	PhD Student	PPS	algebre , preuves
Reboullet Sarah	@		3034	PhD Student	PPS	preuves , picube
Salibra Antonino	@			Associated Member	PPS	algebre , preuves
Tarantino Umberto	@			PhD Student	ASV , PPS	automates , algebre
Theron Clement	@		4060	PhD Student	PPS	algebre
Vanoni Gabriele	@		3018	Post-Doc	PPS	algebre , preuves
Viennot Jules	@			PhD Student	PPS	picube
Vienot Ada	@		3044	PhD Student	PPS	algebre , programmes , preuves
Walch Aymeric	@		3026	PhD Student	PPS	algebre