Membres de PPS : connectez-vous

INS2I INSMI CNRS Université Paris Diderot

PPS Laboratoire

Preuves, Programmes et Systèmes

CNRS UMR 7126

PPS
Journées PPS à Trouville, septembre 2011

Membres permanents

BureauTéléphone
01 57 2+
Samy ABBESMaître de Conférences, Université Paris Diderot, UFR de mathématique5A2579149
Odile AINARDIResponsable administrative, CNRS6B0379274
Roberto AMADIOProfesseur, Université Paris Diderot, UFR d'informatique6C0679240
Vincent BALATMaître de Conférences, Université Paris Diderot, UFR d'informatique6A3779258
Antonio BUCCIARELLIMaître de Conférences, Université Paris Diderot, UFR d'informatique6B0279339
Giuseppe CASTAGNADirecteur de Recherche, CNRS6C0179340
Guy COUSINEAUProfesseur (CRCT)
Juliusz CHROBOCZEKMaître de Conférences, Université Paris Diderot, UFR d'informatique6B0179237
Pierre-Louis CURIENDirecteur de Recherche, CNRS5A4379250
Vincent DANOSDirecteur de Recherche, CNRS5A2379216
Roberto DI COSMOProfesseur, Université Paris Diderot, UFR d'informatique6C0879220
Thomas EHRHARDDirecteur de Recherche, CNRS6B0279217
Claudia FAGGIANChargée de Recherche, CNRS5A0779255
Philippe GAUCHERChargé de Recherche, CNRS5A2379216
Russ HARMERChargé de Recherche, CNRS6A3979338
Hugo HERBELINDirecteur de Recherche INRIA
Jean-Baptiste JOINETMaître de Conférences, Université Paris 1, UFR de philosophie5A35
Thierry JOLYMaître de Conférences, Université Paris Diderot, UFR de mathématique5A0779255
Delia KESNERProfesseur, Université Paris Diderot, UFR d'informatique6C0579238
Jean KRIVINEChargé de Recherche, CNRS5A3579248
Yves LEGRANDGÉRARDIngénieur de Recherche, Université Paris Diderot5A2979257
Pierre LETOUZEYMaître de Conférences, Université Paris Diderot, UFR d'informatique5A43
Pascal MANOURYMaître de Conférences, Université Paris 6-Pierre et Marie Curie, UFR d'informatique5A4379250
Paul-André MELLIÈSChargé de Recherche, CNRS5A3579248
François MÉTAYERMaître de Conférences, Université Paris 10-Nanterre5A1679253
Alexandre MIQUELMaître de Conférences, Université Paris Diderot, UFR d'informatique6C16
Vincent PADOVANIMaître de Conférences, Université Paris Diderot, UFR d'informatique6B0179237
Michel PARIGOTChargé de Recherche, CNRS5A3279251
Yann RÉGIS-GIANASMaître de Conférences, Université Paris Diderot, UFR d'informatique6C01
Jean-Marie RIFFLETProfesseur, Université Paris Diderot, UFR d'informatique6A4379415
Paul ROZIÈREMaître de Conférences, Université Paris Diderot, UFR de mathématique5A2979257
Paul RUETChargé de Recherche, CNRS5A3579248
Alexis SAURINChargé de recherche, CNRS6A4579337
Matthieu SOZEAUChargé de recherche INRIA
Christine TASSONMaître de Conférences, Université Paris Diderot6A4579337
Ralf TREINENProfesseur, Université Paris Diderot, UFR d'informatique6C0979244
Daniele VARACCAMaître de Conférences, Université Paris Diderot, UFR d'informatique6A4379415
Jérôme VOUILLONChargé de Recherche, CNRS6A3779258
Stefano ZACCHIROLIMaître de Conférences, Université Paris Diderot, UFR d'informatique6A3779258

Ocsigen Site réalisé avec Ocsigen, Eliom, Ocsimore, Ocaml et Ocamlduce.