Membres de PPS : connectez-vous
Laboratoire
Preuves, Programmes et Systèmes
CNRS UMR 7126
Journées PPS à Trouville, septembre 2011
Les anciens
| Vincent SILES | (H. Herbelin) | |
| Ronan SAILLARD | (R.Amadio - Y.Régis-Gianas) | |
| Grégoire HENRY | (E.Chailloux - M.Mauny) | |
| Marie-Aude STEINER | (S.Abbes - C.Palamidessi) | |
| Mathias KENDE | (G.Castagna) | |
| Danko ILIK | (H.Herbelin) | |
| Yaap BOENDER | (R. Di Cosmo) | |
| Alberto CARRARO | (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) |
Site réalisé avec Ocsigen, Eliom, Ocsimore, Ocaml et Ocamlduce.