===================================
 Home page of Alexandre Duret-Lutz
===================================

.. image:: img/bibi.jpg
   :height: 128
   :width: 128
   :class: floatright

.. image:: img/adlqrcode.png
   :height: 120
   :width: 120
   :class: floatleft

| 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
| adl@lrde.epita.fr

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

__ http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x2E236E47

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`__.

__ http://www.lrde.epita.fr/~adl/ens/

* publications_
* curriculum vitae (in `French`_ or `English`_)
* `Ph.D. thesis`_ (in French)
* `public calendar`_

.. _publications: dl/adl.html
.. _French: dl/duret-20091116.pdf
.. _English: dl/duret-20100430-en.pdf
.. _Ph.D. thesis: th.html
.. _public calendar: http://www.lrde.epita.fr/cgi-bin/twiki/view/Main/AlexandreDuretLutz

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.

.. _LIP6: http://www.lip6.fr
.. _SRC: http://www-src.lip6.fr/
.. _model checking: http://www.wikipedia.org/wiki/Model_checking
.. _SPOT: http://spot.lrde.epita.fr/
.. _GNU Automake: http://sources.redhat.com/automake/
.. _EPITA: http://www.epita.fr/
.. _Vaucanson: http://vaucanson.lrde.epita.fr/
.. _LRDE: http://www.lrde.epita.fr/


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.

* model checking: mc.bib_, mc.pdf_.
* binary function minimization: bm.bib_, bm.pdf_.
* generic programming (quite outdated): gp.bib_, gp.pdf_.
* my `own publications`_: adl.bib_, adl.pdf_.

.. _BibTeX: http://www.ccs.neu.edu/home/dorai/eplain/eplain/doc/btxdoc.html
.. _mc.bib: dl/mc.bib
.. _mc.pdf: dl/mc.pdf
.. _bm.bib: dl/bm.bib
.. _bm.pdf: dl/bm.pdf
.. _gp.bib: dl/gp.bib
.. _gp.pdf: dl/gp.pdf
.. _adl.bib: dl/adl.bib
.. _adl.pdf: dl/adl.pdf
.. _own publications: dl/adl.html


Miscellaneous documents
=======================

* An `Autotools Tutorial`_.

.. _Autotools Tutorial: autotools.html

* A `family tree of LTL-to-Büchi automata translation algorithms`__.
* A `family tree of emptiness-check algorithms for Büchi automata`__.

__ http://spot.lip6.fr/wiki/LtlTranslationAlgorithms
__ http://spot.lip6.fr/wiki/EmptinessCheckAlgorithms

* The `Spot Poster`__ (a.k.a. the *spoter*).

__ http://spot.lip6.fr/wiki/SpotPoster