Teaching
Formal Methods
- Deductive verification and testing Polytech Sorbonne, France2014-2015Introduction to Deductive verification and testing with Frama-C.
Programming
- Functional programming with OCaml Université Grenoble Alpes, France2015-2016Introduction to OCaml programming language and functional programming.
- Logic Programming with Prolog Université de Versailles Saint-Quentin-en-Yvelines, France2014-2015Introduction to Prolog programming language and logic programming.