I teach/taught in the following frameworks:

• in the Paris Computer Science Masters (M2 Research), I am in charge of the Constraint Programming course;

  • class 1 - Introduction to CLP, operational semantics, examples
  • class 2 - CLP: fixpoint semantics
  • class 3 - CLP: logical semantics, CSP: solving by simplification and domain reduction
  • class 4 - CLP: the Warren Abstract Machine, CSP: Symmetries
  • class 5 - CLP: typing; CHR; Programming project discussion; MiniZinc and CLPZinc
  • class 6 - CC: examples, operational and denotational semantics
  • class 7 - CC: linear logic semantics; LCC
  • class 8 - LCC: logical semantics, links with CHR; EMoP: modules for LCC/CC/CLP

• I used to be for several years teaching assistant for Java classes corresponding to the Informatique Fondamentale lessons of Jean-Jacques Levy at École Polytechnique. Then I taught in the third year course about “Constraint-based Modeling & Algorithms for Decision Making”, the 2nd year MODAL “Programming in the Language of Life” and the Bachelor course on “Constraint Logic Programming” (plus some other TA things here and there)

I also supervize some internships on the dedicated page of the Lifeware team.