Teaching-oriented Service

Curriculum

Courses

  • Responsible for the International Master 1 research internships (2016 – ongoing).
  • Responsible for the International Master 1 course on Programming Language Semantics and Compiler Design (2011 – ongoing).
  • Responsible for the French Master 1 course on Sémantique de Langages de Programmation et Compilation (2017 – ongoing).
  • Responsible for the Bachelor course on Language and Automata Theory (2011 – ongoing).
  • Responsible for the Bachelor course on Functional Programming (2012-2014).