Home page of Alexandre Duret-Lutz

img/bibi.jpg img/adlqrcode.png
Alexandre Duret-Lutz,
Bureau L3,
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. I did my Ph.D. thesis on model checking at LIP6 in the MoVe (Modelisation and Verification) team, formerly known as the SRC (Cooperative and Distributed Systems) team.

I work on two projects of the LRDE: SPOT is a model checking library, and Vaucanson a finite automata library.

At EPITA I teach Algorithms and Complexity (3rd year), Graph Theory (3rd year), Distributed Algorithms (3rd year), and Introduction to Model Checking (5th year). I also do labs and practicals on Theory of Rational Languages (2nd year). Support for these lectures and past exams may be found in this directory.

In my copious free time I used to maintain GNU Automake, but that is no longer the case. Please do not mail me about it. Consider reading my Autotools Tutorial instead.

BibTeX files

Here are some BibTeX files I maintain (or used to). I publish then here because I know how helpful it is to find pre-canned BibTeX entries on the net.

Miscellaneous documents