2016--now: “Language Theory”, “Database Theory”, “Introduction to Formal Logic and Automated Theorem-Proving”, “Decidability and Complexity” at EPITA
2014-2015: “Compilers and Interpreters” (Undergraduate) at University of Geneva
2013-2015: “Semantics of Programming Languages” (Undergraduate) at University of Geneva
2011-2013: “Introduction to Databases” (Undergraduate) at Paris 10
2011-2013: “Introduction to Networks” (Undergraduate) at Paris 10
2010-2011: “Client/Server programming” (Undergraduate) at Paris 6