Membres de PPS : connectez-vous
Laboratoire
Preuves, Programmes et Systèmes
CNRS UMR 7126
Journées PPS à Trouville, septembre 2011
Post-Doctorants, ATERs, autres membres non permanents
| Bureau | Téléphone 01 57 2+ | ||
|---|---|---|---|
| Pietro ABATE | Post-doc Mancoosi | 6A39 | 79338 |
| Federico Aschieri | Post-doc | pir² | |
| Nicolas AYACHE | Post-doc | pir² | |
| Bruno BERNARDO | ATER | Pir² | |
| Flavio CAVALCANTI DE MOURA | Post-doc | 6A47 | 79416 |
| Pierre CHAMBART | Ingénieur d'étude | Pir² | |
| Tom GUNDERSEN | Post-doc | 5A32 | 79416 |
| Stefan HETZL | Post-doc Marie-Curie (novembre 2009 - octobre 2011) | 5A16 | 79253 |
| Serguei LENGLET | Post-doc (janvier 2012 - juillet 2013) | ||
| Carlos LOMBARDI | Ingénieur | 6A47 | 79416 |
| Jerome MALOBERTI | Ingenieur de recherche | 6A39 | 79338 |
| Jeffrey SARNAT | Post-doc | pir² | |
| Noam ZEILBERGER | Post-doc | pir² |
Site réalisé avec Ocsigen, Eliom, Ocsimore, Ocaml et Ocamlduce.