EN FR
EN FR




Section: Dissemination

Teaching

Supervision of Ph.D. and internships

  • PhD in progress : Pierre Boutillier, Représentation des effets et inférence de type dans le cadre du développement d'un langage de programmation à types riches, September 2010, Hugo Herbelin.

  • PhD in progress : Stéphane Glondu, Vers une certification de l'extraction de Coq, September 2007, Pierre Letouzey.

  • PhD in progress : Lourdes del Carmen Gonzalez Huesca, Un langage de tactiques typés pour Coq, December 2011, Hugo Herbelin and Yann-Régis Gianas.

  • PhD in progress : Guillaume Munch-Maccagnoni, Polarités, réalisabilité classique, contrôle délimité, September 2009, Pierre-Louis Curien and Thomas Ehrhard.

  • PhD in progress: Pierre-Marie Pédrot,

  • PhD in progress : Matthias Puech, Incremental proof development, September 2008, Hugo Herbelin, Andrea Asperti, and Yann-Régis Gianas.

Yann Régis-Gianas supervised the master internship of Guillaume Claret.

Courses

  • Licence : Initiation aux systèmes d'exploitation, (Boutillier) 1/4, L1 sciences exactes, Université Paris Diderot, France

  • Licence : Algorithmique, (Boutillier) 1/4, L3 BioInfo, Université Paris Diderot, France

  • Licence : Principes de fonctionnement des machines binaires, (Letouzey) 1/6, L1, Université Paris Diderot, France

  • Licence : Programmation fonctionnelle, (Letouzey) 1/6, L2 Math-Info, Université Paris Diderot, France

  • Master : Circuits et architectures, (Letouzey) 1/6, M1, Université Paris Diderot, France

  • Master : Typage, (Letouzey) 1/6, M2 Pro, Université Paris Diderot, France

  • Master : Preuves assistées par ordinateur, (Glondu) 1/6, M1, Université Paris Diderot, France

  • Doctorat : Pierre-Louis Curien and Hugo Herbelin gave lectures at the 10th Oregond Summer School on Programming Languages (June).

Matthias Puech is a teaching assistant (A.T.E.R) at University Paris Diderot – Paris 7 for the academic year 2011–2012. He teaches Java programming and Binary machines (beginner).

Yann Régis-Gianas took part in the MPRI course entitled “Type systems”. He gave a 12 hours course about generalised algebraic data types, higher-order Hoare logic and dependently typed programming.