Home page of Alexandre Duret-Lutz

img/bibi.jpg img/adlqrcode.png
Alexandre Duret-Lutz,
Bureau L1,
Laboratoire de Recherche et DĂ©veloppement de l'Epita (LRDE)
14-16 rue Voltaire
94276 Le Kremlin-BicĂȘtre Cedex
(+33) 1 53 14 59 17

Public Key (FCA0 8615 0211 941A 2AB9 FA66 3859 C03B 2E23 6E47)

I am an assistant professor at Epita, working in the LRDE, its research and development laboratory.


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.


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.

Public calendar