Pierre-Louis Curien

Directeur de Recherche au CNRS émérite (depuis octobre 2019)


Membre de l'équipe-projet πr2 INRIA commune avec, et du pôle PPS du laboratoire IRIF commun entre le CNRS et l'Université de Paris

Email: curien@irif.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'éveil des plus petits, visitez la BBthèque et la Marmot*thèque de Julie Curien.

Research interests (programming languages, proof theory, algebraic operads and higher categories):

A few milestones

Recent prepublications and publications (see also my publication list )

Some older publications

Introductory course notes

Biographie scientifique et hommages

Vulgarisation

Teaching


Some talks