UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes
Accueil · Présentation · Membres · Publications · Séminaire · Groupes de travail · Projets · πr²
| ANCIENS MEMBRES | Statut au laboratoire PPS |
|---|---|
| Thomas SEILLER | Postdoctorant |
| Maéva BARRE | Assistante gestionnaire, CNRS |
| Florence CLERC | Doctorant (P.-L. Curien - S. Mimram) |
| Pierre-Marie PÉDROT | Doctorant (H. Herbelin - A. Saurin) |
| Jakub ZWOLAKOWSKI | Doctorant (R. Di Cosmo - S. Zacchiroli) |
| Pietro ABATE | Postdoctorant |
| Pierre BOUTILLIER | Postdoctorant |
| Marc LASSON | Postdoctorant pr² |
| Arnaud SPIWACK | Postdoctorant |
| Étienne MILLON | Ingénieur |
| Florian THIBORD | Ingénieur |
| Daniele VARACCA | Maître de Conférences, Université Paris Diderot, UFR d'informatique |
| Vincent DANOS | Directeur de Recherche, CNRS |
| Eric FINSTER | Postdoctorant Récré |
| Tom GUNDERSEN | Postdoctorant |
| Alexis GOYET | Doctorant (P.-L Curien) |
| Guillaume MUNCH-MACCAGNONI | Doctorant (P.-L. Curien - T. Ehrhard) |
| Stéphane ZIMMERMANN | Doctorant (P.-L. Curien - T. Ehrhard) |
| Guy COUSINEAU | Professeur |
| Jean-Baptiste JOINET | Maître de Conférences, Université Paris 1, UFR de philosophie |
| Jean-Marie RIFFLET | Professeur, Université Paris Diderot, UFR d'informatique |
| Nicolas AYACHE | Postdoctorant CerCo |
| François BOBOT | Postdoctorant CerCo |
| Serguei LANGLET | Postdoctorant |
| Fabien RENAUD | Doctorant (D. Kesner) |
| Jonas FREY | Doctorant (P.-A. Melliès) |
| Thibaut BALABONSKI | Doctorant (D. Kesner) |
| Sarah BULTEAU | Doctorant (T. Ehrhard) |
| Stéphane GLONDU | Doctorant (P. Letouzey) |
| Gabriel KERNEIS | Doctorant (J. Chroboczek - R. Treinen) |
| Antoine MADET | Doctorant (R. Amadio) |
| Séverine MAINGAUD | Doctorant (V. Balat - A. Miquel) |
| Zhiwu XU | Doctorant (G. Castagna) |
| Benjamin CANOU | Doctorant (E. Chailloux – V. Balat) |
| Mehdi DOGGUY | Doctorant (R. Amadio) |
| Vincent SILES | Doctorant (H. Herbelin) |
| Ronan SAILLARD | Doctorant (R.Amadio - Y.Régis-Gianas) |
| Grégoire HENRY | Doctorant (E.Chailloux - M.Mauny) |
| Marie-Aude STEINER | Doctorant (S.Abbes - C.Palamidessi) |
| Mathias KENDE | Doctorant (G.Castagna) |
| Danko ILIK | Doctorant (H.Herbelin) |
| Jaap BOENDER | Doctorant (R. Di Cosmo) |
| Alberto CARRARO | Doctorant (A.Bucciarelli - A.Salibra) |
| Audrey MANSUET | Secrétaire-Gestionnaire, CNRS |
| Vincent GROSS | Ingénieur de recherche INRIA |
| Anne Sophie REFLOC'H | |
| Chung Kil HUR | post-doc |
| Beniamino ACCATTOLI | |
| Pierre CLAIRAMBAULT | (R. Harmer - P.-L. Curien) |
| Noam ZEILBERGER | post-doc |
| Richard MCKINLEY | post doc INFER (avril 2009 - février 2010) |
| Stéphane GIMENEZ | (T. Ehrhard) |
| Elena GIACHINO | (G. Castagna) |
| Mauro PICCOLO | (C. Faggian) |
| Marc DE FALCO | post-doc |
| Boris YAKOBOWSKI | Post-Doc Ocsigen |
| Simon PERDRIX | Post-Doc |
| Luca FOSSATI | (S. Ronchi della Rocca, Turin) |
| Mark WEBER | |
| Ignacio LOPEZ | |
| Paolo TRANQUILLI | (A. Bucciarelli - L. Tortora de Falco) |
| Francisco ALBERTI | (P.-L. Curien) |
| Thomas ANTONINI | (M. Parigot) |
| Sylvain BARO | (P. Manoury) |
| Emmanuel BEFFARA | (V. Danos) |
| Anne-Gwenn BOSSER | (E. Chailloux) |
| Emmanuel CHAILLOUX | |
| Frédéric DABROWSKI | (R. Amadio - G. Boudol) |
| Daniel DE CARVALHO | (T. Ehrhard - P. Baillot) |
| Frédéric DE JAEGER | ATER Informatique |
| Joachim DE LATAILLADE | (O. Laurent - P.-L. Curien) |
| DENG Yuxin | (P.-L. Curien) |
| Thomas DUFOUR | (R. Di Cosmo) |
| FENG Yangyue | (P.-L. Curien) |
| Julien FOREST | ATER Informatique |
| Mauricio GUILLERMO | (J.-L. Krivine) |
| Emmanuel HAUCOURT | (E. Goubault) |
| Olivier HERMANT | ATER Informatique |
| Philippe HESSE | (J.-L. Krivine) |
| Michel HIRSCHOWITZ | (V. Danos) |
| Samuel HYM | (V. Danos - M. Hennessy) |
| Hélène KRAEUTLER | (P. Rozière) |
| Samuel LACAS | (J.-L. Krivine) |
| Olivier LAURENT | Chargé de Recherche, CNRS |
| Sylvain LEBRESNE | (A. Miquel - H. Herbelin) |
| Stéphane LENGRAND | (D. Kesner - R. Dyckhoff) |
| Benjamin LEPERCHEY | (A. Bucciarelli) |
| Jean-Vincent LODDO | (R. Di Cosmo) |
| Etienne LOZES | Post-Doc CNRS |
| Philippe MALBOS | ATER Informatique |
| Fabio MANCINELLI | CDD EDOS |
| Giulio MANZONETTO | |
| François MAUREL | (P.-L. Curien) |
| Micaela MAYERO | ATER Informatique |
| Damiano MAZZA | Post-Doc SMP |
| Jean MEKARBANE | (J.-L. Krivine) |
| Samuel MIMRAM | (P.-A. Melliès) |
| Raphaël MONTELATICI | (E. Chailloux) |
| Barbara PETIT | (A. Miquel) |
| Michele PAGANI | Post-Doc Île-de-France |
| Emmanuel POLONOVSKI | (P.-L. Curien) |
| Caroline PRIOU | (A. Bucciarelli - D. Kesner) |
| Mehrnoosh SADRZADEH | Post-doc QICS |
| Sergey SLAVNOV | Post-Doc Paris 7 |
| Pawel SOBOCINSKI | Post-Doc CNRS |
| Nicolas TABAREAU | (P.-A. Melliès) |
| Fabien TARISSAN | (V. Danos) |
| Lorenzo TORTORA DE FALCO | (V. Danos) |
| Thierry VALLÉE | (C. Berline) |
| ZHANG Min | (P.-L. Curien) |
| LI Zheng | (R. Di Cosmo) |
| Elie SOUBIRAN | (H. Herbelin) |
| Russ HARMER | Chargé de Recherche, CNRS |
| Matthias PUECH | (H. Herbelin - A. Asperti) |
| Federico Aschieri | Postdoctorant πr² |
| Bruno BERNARDO | ATER πr² |
| Flavio CAVALCANTI DE MOURA | Postdoctorant |
| Pierre CHAMBART | Ingénieur d'étude πr² |
| Stefan HETZL | Postdoctorant Marie-Curie |
| Carlos LOMBARDI | Ingénieur |
| Jerome MALOBERTI | Ingénieur de recherche |
| Jeffrey SARNAT | Postdoctorant πr² |
