Curriculum
- Responsible for Univ. Grenoble Alpes of the first year of the International Master in Computer Science – MoSIG (2014 – ongoing).
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).