Alexandre Duret-Lutz

Alexandre Duret-Lutz is a Professor at École pour l'Informatique et les Techniques Avancées (EPITA) in the Laboratoire de Recherche de l'Epita (LRE). He holds a habilitation (HDR) from Université Pierre & Marie Curie (Paris 6). His research focuses on ω-automata and their application in model checking, particularly through the development of the SPOT library, a C++ tool for manipulating ω-automata and implementing model checkers.

• Education: HDR from Université Pierre & Marie Curie (Paris 6).

Research interests include formal verification, automata theory, and LTL synthesis. He has contributed to tools like Vaucanson and Seminator, and is involved in the reactive synthesis competition SYNTCOMP. His work emphasizes optimizing automata constructions and improving verification efficiency.

Key awards include the Best Paper Award at CIAA'24 and the Best Paper Award at Ada-Europe'01. He teaches courses on algorithms, complexity, and reproducible research at EPITA.

Labs/Teams: Active contributor to the LRE and SPOT library development. Collaborates on projects involving formal methods and automated synthesis.