Membres de PPS : connectez-vous
Laboratoire
Preuves, Programmes et Systèmes
CNRS UMR 7126
Journées PPS à Trouville, septembre 2011
Doctorants
| Bureau | Téléphone 01 57 2+ | |||
|---|---|---|---|---|
| Thibaut BALABONSKI | (D. Kesner) | 6C10 | 79243 | |
| Pierre BOUTILLIER | (H. Herbelin) | |||
| Sarah BULTEAU | (T. Ehrhard) | 6A51 | 79417 | |
| Benjamin CANOU | (E. Chailloux – V. Balat) | |||
| Mehdi DOGGUY | (R. Amadio) | 6C12 | 79222 | |
| Jonas FREY | (P.-A. Melliès) | 6C10 | 79243 | |
| Stéphane GLONDU | (P. Letouzey) | |||
| Alexis GOYET | (P.-L Curien) | 6C12 | 76930 | |
| Giulio GUERRIERI | (T. Ehrhard - L. Tortora de Falco) | 6A51 | 79417 | |
| Gabriel KERNEIS | (J. Chroboczek - R. Treinen) | 6C10 | 79243 | |
| Antoine MADET | (R. Amadio) | 6C10 | 79243 | |
| Séverine MAINGAUD | (V. Balat - A. Miquel) | 6A47 | 79416 | |
| Guillaume MUNCH-MACCAGNONI | (P.-L. Curien - T. Ehrhard) | 6A51 | 79417 | |
| Matthias PUECH | (H. Herbelin et A.Asperti) | |||
| Fabien RENAUD | (D. Kesner) | 6A51 | 79417 | |
| Elie SOUBIRAN | (H. Herbelin) | |||
| Zhiwu XU | (G. Castagna) | 6C12 | 79222 | |
| Stéphane ZIMMERMANN | (P.-L. Curien - T. Ehrhard) | 6C10 | 79243 | |
| Jakub ZWOLAKOWSKI | (R. Di Cosmo - S. Zacchiroli) | 6C12 | 79222 |
Site réalisé avec Ocsigen, Eliom, Ocsimore, Ocaml et Ocamlduce.