Research Group Automata and Applications

The Automata group at LRDE concerns itself with automata in various forms and their applications. The group maintains and develops the Spot library for manipulation of ω-automata. Other research concerns itself with timed automata, weighted automata, automata for concurrency, and SAT solving.

Members

The Automata group is split over three sites, Paris, Rennes, and Toulouse.

Paris

• Amazigh Amrane
• Alexandre Duret-Lutz
• Jim Newton
• Adrien Pommellet
• Étienne Renault
• Philipp Schlehuber-Caissier
• Ghiles Ziat

Rennes

• Hugo Bazille
• Uli Fahrenberg (Head of research group)

Toulouse

• Quentin Peyras
• Souheib Baarir

Non-permanent members

• Sven Dziadek