Teaching Experience
|
|
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, joint with W. Serwe, 3rd year software engineering, 18h/year, since 2010 |
|
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, since 2007 |
|
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) 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 in C A funny exercise to understand undecidability of the halting problem Also available in PostScript, PDF, and LaTeX |