Alexandre Duret-Lutz (Preferred)
Alexandre Duret-Lutz
Full Professor, Ecole Pour l'Informatique et les Techniques Avancees
Joined
November 2025
Names
Emails
****@lrde.epita.fr (Confirmed)
****@gmail.com (Confirmed)
****@epita.fr (Confirmed)
Personal Links
Career & Education History
Full Professor
Ecole Pour l'Informatique et les Techniques Avancees (epita.fr)
2017 – Present
Assistant Professor
Ecole Pour l'Informatique et les Techniques Avancees (epita.fr)
2007 – 2017
Advisors, Relations & Conflicts
Expertise
omega automata
Present
model checking
Present
reactive synthesis
Present
finite automata
Present
Publications
Co-Authors
- Adam Walker
- Adrien Pommellet
- Akim Demaille
- Ala-Eddine Ben Salem
- Alexandre Gbaguidi Aisse
- Alexandre Lewkowicz
- Alfons Laarman
- Amaury Fauchille
- Antoine Martin
- Antonio Casares
- Ayrat Khalimov
- Bernd Finkbeiner
- Charly Delfosse
- Christel Baier
- Clément Gillard
- Clément Tamines
- Daniel M. Germán
- David Müller
- David Parker
- Denis Poitrenaud
- Emmanuel Pérez-Duarte
- Etienne Renault
- Fabrice Kordon
- Felix Klein
- Florent Terrones