top of page

Teaching

I teach from time to time at the computer science department of ENS Lyon.

We propose the same M2 course as last year. 

Fall 2022: Algebraic methods, program correctness, graphs and automata

I teach with Damien Pous and Georg Struth an M2 course about Kleene algebra, relation algebra and their application to verification. See this page for informations about classrooms, homework and final exam.  

Fall 2021: Algebraic methods, program correctness, graphs and automata

bottom of page