Member of PPS : Login

Université Paris Diderot

PPS Laboratoire

Preuves, Programmes et Systèmes [ INRIA - πr² ]

Current members

Faculty

  • Pierre-Louis Curien's homepage Pierre-Louis Curien (CNRS senior research scientist, project leader)
  • Hugo Herbelin's homepage Hugo Herbelin (INRIA senior research scientist)
  • Pierre Letouzey's homepage Pierre Letouzey (Maître de conférence, Paris Diderot University)
  • Yann Régis-Gianas's homepage Yann Régis-Gianas (Maître de conférence, Paris Diderot University)
  • Alexis Saurin's homepage Alexis Saurin (CNRS research scientist)
  • Matthieu Sozeau's homepage Matthieu Sozeau (INRIA research scientist)

Postdoc

  • no homepage Nicolas Ayache
  • Arnaud Spiwack's homepage Arnaud Spiwack  

ATER

  • Bruno Bernardo's homepage Bruno Bernardo
  • Matthias Puech's homepage Matthias Puech (PhD student) - cosupervising with Bologna University Bologna University webpage.

Students

  • Pierre Boutillier's homepage Pierre Boutillier  (PhD student) 
  • Stéphane Glondu's homepage Stéphane Glondu (PhD student)
  • Guillaume Munch–Maccagnoni's homepage Guillaume Munch–Maccagnoni (PhD student)
  • Pierre-Marie Pédrot's homepage Pierre-Marie Pédrot (PhD student) 

Administrative staff

  • no homepage Marine Meyer
Past members
  • Andreas Abel's homepage Andreas Abel
  • Elie Soubiran's homepage Elie Soubiran (PhD student)
  • Ronan Saillard's homepage Ronan Saillard (PhD student)
  • Vincent Siles's homepage Vincent Siles (PhD student) - cosupervising with INRIA Typical Typical's webpage.
  • Ilik Danko - Данко Илиќ's homepage Ilik Danko - Данко Илиќ (PhD student)
  • no homepage Vincent Gross (INRIA Research engineer)
  • no homepage Jeffrey Sarnat
  • Noam Zeilberger's homepage Noam Zeilberger

Ocsigen Powered by Ocsigen, Eliom, Ocsimore, Ocaml and Ocamlduce.