Teaching at ENS Lyon
Exercise and practice sessions for last year undergraduates.
- Logic, proof theory, and lambda calculus, fall 2004 and 2005.
- Formal languages and Automata, fall 2004.
- Programming in O'Caml and C, fall 2005.
Some material might sill be found here.
Teaching at INSA Lyon
Exercise and practice sessions for first year undergraduates.
Basics in database, operating system, text editing... fall 2005.
Home