Teaching Experience
|
Teaching Experience
|
 |
Safety-Critical Systems Master of Science in Informatics at Grenoble MOSIG (Grenoble, France) Lecturer, joint with David Monniaux, Master 2, since 2024. |
| |
Programming Languages and Compiler Design/Sémantique des Langages de Programmation et Compilation Master of Science in Informatics at Grenoble MOSIG and Master Informatique (Grenoble, France) Lecturer, joint with Laurent Mounier, Master 1, since 2023. |
| |
Modelling and Analysis of Concurrent Systems Master of Science in Informatics at Grenoble MOSIG (Grenoble, France) Lecturer, joint with Radu Mateescu, Gwen Salaün, and Wendelin Serwe, Master 2, High-confidence Embedded and Cyberphysical Systems (HECS) speciality, from 2016 to 2018. |
| |
Software Engineering Master of Science in Informatics at Grenoble MOSIG (Grenoble, France) Lecturer, joint with Lydie du Bousquet, Master 1, from 2015 to 2025. |
| |
Modeling and Verification of Concurrent and Real-Time Systems Ecole Nationale Supérieure d'Informatique et Mathématiques Appliquées de Grenoble ENSIMAG (Grenoble, France) Lecturer, 3rd year software engineering, 18h/year, from 2010 to 2015 (joint with W. Serwe) and back since 2016 |
| |
Formal Methods Centre d'Enseignement du Conservatoire National des Arts et Métiers de Grenoble CNAM (Grenoble, France) Lecturer, joint with H. Garavel, P. Raymond, and W. Serwe, 3rd year software engineering, 27h/year, from 2007 to 2012 |
| |
Real-Time Ecole Nationale Supérieure d'Informatique et Mathématiques Appliquées de Grenoble ENSIMAG (Grenoble, France) Lecturer, joint with W. Serwe, 3rd year software engineering, 18h/year, from 2005 to 2009 |
| |
Protocol Specification and Verification Ecole supérieure d'ingénieurs d'Annecy ESIA (Annecy, France) and Ecole des Mines de Saint-Etienne EMN (Saint-Etienne, France), in video-conference Lecturer, joint with F. Oquendo, 2nd year master of science (DEA), 12h/year, from 2002 to 2003 |
| |
Formal Languages
Wesleyan University (Middletown, Connecticut, USA) Lecturer, senior undergraduate, 45h/year, 1999 |
| |
Design of Programming Languages
Wesleyan University (Middletown, Connecticut, USA) Lecturer, senior undergraduate, 45h/year, 1999 |
| |
Introduction to Programming
Wesleyan University (Middletown, Connecticut, USA) Lecturer, junior undergraduate, 45h/year, 1999 |
| |
Logic and Constraint Programming
Ecole Normale Supérieure de Lyon ENS-Lyon (Lyon, France) Repetitor, under the supervision of L. Trilling, 1st and 2nd year master of science (magistère), 30h/year, 1998 |
| |
Object Oriented Programming
Ecole Normale Supérieure de Lyon ENS-Lyon (Lyon, France) Repetitor, under the supervision of P. Audebaud (1997) and L. Liquori (1998), 1st and 2nd year master of science (magistère), 30h/year, from 1997 to 1998 |
| |
Semantics of Programming Languages Ecole Normale Supérieure de Lyon ENS-Lyon (Lyon, France) Repetitor, under the supervision of L. Bougé, 1st and 2nd year master of science (magistère), 30h/year, 1997 |
| |
Excel Université Henri Poincaré, Nancy 1 (Nancy, France) Repetitor, under the supervision of B. Jaray, 1st year bachelor of science (DEUG), 36h/year, from 1995 to 1996 |
| |
Data bases Université Henri Poincaré, Nancy 1 (Nancy, France) Repetitor, under the supervision of B. Jaray, 1st year bachelor of science (DEUG), 36h/year, from 1995 to 1996 |
| |
Algorithmic and Programming Ecole Supérieure d'Informatique et Applications de Lorraine ESIAL (Nancy, France), now named Telecom Nancy Repetitor, under the supervision of J.-P. Finance, 1st year software engineering, 92h/year, from 1995 to 1996 |
|
Teaching material
|
| |
Undecidability of the halting problem illustrated with C functions A funny exercise to understand undecidability of the halting problem Also available in PostScript, PDF, and LaTeX |