Home page of Alexandre Duret-Lutz

img/bibi2.jpg img/adlqrcode.png
Alexandre Duret-Lutz,
Bureau L1,
Laboratoire de Recherche de l'Epita (LRE)
14-16 rue Voltaire
94276 Le Kremlin-BicĂȘtre Cedex

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

I am a professor at Epita, working in the LRE, 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 some course mixing scientific approach, reproducible research, and data visualization (5th year).

Public calendar