Pierre-Louis Curien

Directeur de Recherche au CNRS


Équipe πr2 commune INRIA au sein du laboratoire PPS (Preuves, Programmes et Systèmes) (UMR 7126 CNRS - Université Paris 7)

Email: curien@pps.univ-paris-diderot.fr

Photo

Visitez les sites de Nicolas Curien (économiste et chansonnier), Christophe Curien (peintre et sculpteur), et Rémi Curien (géographe et urbaniste), et si votre humeur vous porte vers la culture et l'Amérique latine, plongez vous dans les Notes vagabondes.

Research interests (programming languages and proof theory):

Recent prepublications and publications (see also my publication list )

Some older publications

Introductory course notes

Biographie scientifique

Enseignement


Talks