- 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.
| 📧 | adl@lrde.epita.fr |
| ☎️ | +33 1 53 14 59 17 |
 |
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.
Publications
I maintain a list of publication on my personnal web page.