The Automata and applications (A∀) group at LRE concerns itself with automata in various forms and with their applications. The group maintains and develops the Spot library for manipulation of ω-automata and other software. Other research concerns itself with timed automata, weighted automata, automata for concurrency, and SAT solving.
Fields of interest
The A∀ group consists of approximately 14 permanent staff and three PhD students. Some of our research interests, in roughly lexicographic order:
- automata learning
- concurrency theory
- constraint programming
- cyber-physical systems
- games
- language transformations
- Lisp
- LTL
- model checking
- ω-automata
- parallelism
- Petri nets
- pomsets
- PSL
- pushdown automata
- quantitative verification
- reactive synthesis
- symbolic automata
- timed automata
- typesetting
- weighted automata
Software
The Automata and applications group hosts the following software projects:
- Spot: a platform for LTL and ω-automata manipulation
- Painless: a framework for implementation and evaluation of parallel SAT solvers
- Go2Pins: a framework for the LTL verification of Go programs
- cosy: a library to exploit symmetries of SAT problems
Members
The group is split over three sites, Paris, Rennes, and Toulouse.
Paris
- Amazigh Amrane
- Alexandre Duret-Lutz
- Jim Newton
- Adrien Pommellet
- Philipp Schlehuber-Caissier
- Daniel T. Stan
- Didier Verna
- Ghiles Ziat
Rennes
- Hugo Bazille
- Uli Fahrenberg (Head of research group)
Toulouse
Non-permanent members
- Sven Dziadek
- Anissa Kheireddine
- Antoine Martin
Former members
- Étienne Renault
- Florian Renkin