Je suis directeur de recherche à l'INRIA et professeur chargé de cours (à temps partiel) à l'École Polytechnique. Consultez ma page à l'INRIA.
En 2011-2012, je suis co-responsable (avec Benjamin Werner) de ce cours. J'enseigne la seconde partie.
J'ai été pendant plusieurs années responsable de ce cours, qui n'a pas lieu en 2011-2012.
Consultez la page du cours ou bien sa fiche dans le catalogue officiel des cours.