Home page of Alexandre Duret-Lutz
Public Key (FCA0 8615 0211 941A 2AB9 FA66 3859 C03B 2E23 6E47)
I am a professor at Epita, working in the LRDE, its research and development laboratory. I have a habilitation (french HDR) from Université Pierre & Marie Curie (Paris 6).
Research
My research is about omega-automata and their use in model checking. To support that, I develop SPOT, a C++ library for manipulation of omega-automata (with arbitrary acceptance condition) that also offers features necessary to implement model checkers. Between 2007 and 2014, I was also participating to the Vaucanson (now renamed VCSN) project: a finite automata library.
I try to keep my list of publications up-to-date. But do not hesitate to email me about those.
Teaching
At EPITA I teach Algorithms and Complexity (3rd year), Graph Theory (3rd year), and Introduction to Model Checking (5th year). Support for these lectures and past exams may be found in this directory.