PPS

Connexion

UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes

IRIF
Institut de Recherche
en Informatique Fondamentale
UMR 8243 UFR d'informatique
UFR de mathématiques

Accueil · Présentation · Membres · Publications · Séminaire · Groupes de travail · Projets · πr²

Permanents et associés · Doctorants et postdoctorants · Visiteurs · Anciens · Photos

MEMBRES PERMANENTS		Bureau	Téléphone 01 57 27+
Samy ABBES	Maître de Conférences, Université Paris Diderot, UFR de mathématiques	3046	92 37
Odile AINARDI	Responsable administrative, CNRS	3014	92 74
Roberto AMADIO	Professeur, Université Paris Diderot, UFR d'informatique	3015	92 40
Vincent BALAT	Maître de Conférences, Université Paris Diderot, UFR d'informatique	3022	92 58
Antonio BUCCIARELLI	Maître de Conférences, Université Paris Diderot, UFR d'informatique	3045	94 33
Giuseppe CASTAGNA	Directeur de Recherche, CNRS	3039	93 40
Juliusz CHROBOCZEK	Maître de Conférences, Université Paris Diderot, UFR d'informatique	3046	92 37
Thierry COQUAND	Professeur, University of Gothenburg, Chaire internationale INRIA	3042A	94 42
Pierre-Louis CURIEN	Directeur de Recherche, CNRS	3013	92 23
Roberto DI COSMO	Professeur, Université Paris Diderot, UFR d'informatique	3020	92 20
Thomas EHRHARD	Directeur de Recherche, CNRS	3012	92 17
Claudia FAGGIAN	Chargée de Recherche, CNRS	3049	92 55
Philippe GAUCHER	Chargé de Recherche, CNRS	3048	92 16
Yves GUIRAUD	Chargé de Recherche, INRIA	3010	94 29
Hugo HERBELIN	Directeur de Recherche, INRIA	3029	90 87
Thierry JOLY	Maître de Conférences, Université Paris Diderot, UFR de mathématiques	3007	90 88
Delia KESNER	Professeur, Université Paris Diderot, UFR d'informatique	3025	92 38
Jean-Louis KRIVINE	Professeur émérite, Université Paris Diderot, UFR de mathématiques	3008	92 39
Jean KRIVINE	Chargé de Recherche, CNRS	3041	93 38
Yves LEGRANDGÉRARD	Ingénieur de Recherche, Université Paris Diderot	3057	92 57
Pierre LETOUZEY	Maître de Conférences, Université Paris Diderot, UFR d'informatique	3028	90 84
Jean-Jacques LÉVY	Directeur de Recherche émérite, INRIA	3009	94 28
Frédéric LOULERGUE	Professeur, Université d'Orléans, Délégation INRIA	3030	90 86
Pascal MANOURY	Maître de Conférences, Université Paris 6-Pierre et Marie Curie, UFR d'informatique	3007	90 88
Paul-André MELLIÈS	Chargé de Recherche, CNRS	3023	92 48
François MÉTAYER	Maître de Conférences, Université Paris 10-Nanterre	3010	94 29
Vincent PADOVANI	Maître de Conférences, Université Paris Diderot, UFR d'informatique	3045	93 39
Michele PAGANI	Professeur, Université Paris Diderot, UFR d'informatique	3016	92 50
Michel PARIGOT	Chargé de Recherche, CNRS	3047	92 51
Yann RÉGIS-GIANAS	Maître de Conférences, Université Paris Diderot, UFR d'informatique	3028	90 84
Paul ROZIÈRE	Maître de Conférences, Université Paris Diderot, UFR de mathématiques	3057	92 57
Paul RUET	Chargé de Recherche, CNRS	3023	92 48
Alexis SAURIN	Chargé de recherche, CNRS	3040	93 37
Matthieu SOZEAU	Chargé de recherche, INRIA	3019	94 15
Christine TASSON	Maître de Conférences, Université Paris Diderot	3040	93 37
Ralf TREINEN	Professeur, Université Paris Diderot, UFR d'informatique	3021	92 44
Jérôme VOUILLON	Chargé de Recherche, CNRS	3022	92 58
Stefano ZACCHIROLI	Maître de Conférences, Université Paris Diderot, UFR d'informatique	3019	94 15

MEMBRES ASSOCIÉS		Bureau	Téléphone 01 57 27+
François ARMAND	PAST, Université Paris Diderot
Chantal BERLINE	Chargée de Recherche, CNRS	3054	94 35
Albert BURRONI	Maître de Conférences, Université Paris Diderot	3054	94 35
Patrick DEHORNOY	Professeur, Université de Caen	3042A	94 42
Eric GOUBAULT	Ingénieur des Mines, CEA
Daniel LEIVANT	Professeur, Indiana University Bloomington
Philippe MALBOS	Maître de Conférences, Université Claude Bernard Lyon 1	3010	94 29
Alexandre MIQUEL	Professeur, Universidad de la República, Montevideo