Alexandre Duret-Lutz

Alexandre Duret-Lutz
  • Site: Paris
  • Group: automata and applications
  • Axis: software and performance

Short Bio

I am professor at EPITA Paris, part of the Automata and applications research group at LRE.

☎️ +33 1 53 14 59 17
ORCID 0000-0002-6623-2512

Research interests

I work on linear temporal logic, ω-automata, and their application to model checking or reactive controler synthesis.

I develop and maintain Spot, a C++ library for doing the above.


I maintain a list of publication on my personnal web page.