Login

Version française

 PPS UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes

Home · Presentation · Members · Publications · Seminar · Working groups · Projects · πr²

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

MEMBRES PERMANENTSBureauTéléphone
01 57 27+
Samy ABBES Maître de Conférences, Université Paris Diderot, UFR de mathématiques 304692 37
Odile AINARDI Responsable administrative, CNRS 301492 74
Roberto AMADIO Professeur, Université Paris Diderot, UFR d'informatique 301592 40
Vincent BALAT Maître de Conférences, Université Paris Diderot, UFR d'informatique 302292 58
Antonio BUCCIARELLIMaître de Conférences, Université Paris Diderot, UFR d'informatique 304594 33
Giuseppe CASTAGNA Directeur de Recherche, CNRS 303993 40
Juliusz CHROBOCZEK Maître de Conférences, Université Paris Diderot, UFR d'informatique 304692 37
Thierry COQUAND Professeur, University of Gothenburg, Chaire internationale INRIA 3042A94 42
Pierre-Louis CURIENDirecteur de Recherche, CNRS 301392 23
Roberto DI COSMO Professeur, Université Paris Diderot, UFR d'informatique 302092 20
Thomas EHRHARD Directeur de Recherche, CNRS 301292 17
Claudia FAGGIAN Chargée de Recherche, CNRS 304992 55
Philippe GAUCHER Chargé de Recherche, CNRS 304892 16
Yves GUIRAUD Chargé de Recherche, INRIA 301094 29
Hugo HERBELINDirecteur de Recherche, INRIA 302990 87
Thierry JOLY Maître de Conférences, Université Paris Diderot, UFR de mathématiques 300790 88
Delia KESNER Professeur, Université Paris Diderot, UFR d'informatique 302592 38
Jean-Louis KRIVINEProfesseur émérite, Université Paris Diderot, UFR de mathématiques 300892 39
Jean KRIVINE Chargé de Recherche, CNRS 304193 38
Yves LEGRANDGÉRARD Ingénieur de Recherche, Université Paris Diderot 305792 57
Pierre LETOUZEY Maître de Conférences, Université Paris Diderot, UFR d'informatique 302890 84
Jean-Jacques LÉVY Directeur de Recherche émérite, INRIA 300994 28
Frédéric LOULERGUE Professeur, Université d'Orléans, Délégation INRIA 303090 86
Pascal MANOURY Maître de Conférences, Université Paris 6-Pierre et Marie Curie, UFR d'informatique300790 88
Paul-André MELLIÈSChargé de Recherche, CNRS 302392 48
François MÉTAYER Maître de Conférences, Université Paris 10-Nanterre 301094 29
Vincent PADOVANI Maître de Conférences, Université Paris Diderot, UFR d'informatique 304593 39
Michele PAGANI Professeur, Université Paris Diderot, UFR d'informatique 301692 50
Michel PARIGOT Chargé de Recherche, CNRS 304792 51
Yann RÉGIS-GIANAS Maître de Conférences, Université Paris Diderot, UFR d'informatique 302890 84
Paul ROZIÈRE Maître de Conférences, Université Paris Diderot, UFR de mathématiques 305792 57
Paul RUET Chargé de Recherche, CNRS 302392 48
Alexis SAURIN Chargé de recherche, CNRS 304093 37
Matthieu SOZEAU Chargé de recherche, INRIA 301994 15
Christine TASSON Maître de Conférences, Université Paris Diderot 304093 37
Ralf TREINEN Professeur, Université Paris Diderot, UFR d'informatique 302192 44
Jérôme VOUILLON Chargé de Recherche, CNRS 302292 58
Stefano ZACCHIROLIMaître de Conférences, Université Paris Diderot, UFR d'informatique301994 15
MEMBRES ASSOCIÉSBureauTéléphone
01 57 27+
François ARMANDPAST, Université Paris Diderot
Chantal BERLINEChargée de Recherche, CNRS305494 35
Albert BURRONIMaître de Conférences, Université Paris Diderot305494 35
Patrick DEHORNOY Professeur, Université de Caen3042A94 42
Eric GOUBAULTIngénieur des Mines, CEA
Daniel LEIVANTProfesseur, Indiana University Bloomington
Philippe MALBOS Maître de Conférences, Université Claude Bernard Lyon 1301094 29
Alexandre MIQUEL Professeur, Universidad de la República, Montevideo