Fields of interest

The group consists of 11 permanent and several non-permanent staff. Some of our research interests, in roughly lexicographic order:

• automata learning
• concurrency theory
• constraint programming
• cyber-physical systems
• games
• language transformations
• Lisp
• LTL & PSL
• model checking
• ω-automata
• parallelism
• Petri nets
• pushdown automata
• quantitative verification
• reactive synthesis
• symbolic automata
• timed automata
• typesetting

Members

Leaders

Amazigh Amrane

Associate Professor

Permanent Members

Hugo Bazille

Associate Professor

Narjes Ben Rajeb-Robbana

Professor

Alexandre Duret-Lutz

Professor

Laetitia Laversa

Associate Professor

Jim Newton

Associate Professor

Adrien Pommellet

Associate Professor

Daniel Stan

Associate Professor

Didier Verna

Professor

Ghiles Ziat

Associate Professor

Non Permanent Members

Mahmoud Chaari

PhD Student

Enzo Erlich

PhD Student

Antoine Martin

PhD Student

Florian Renkin

Postdoctoral Researcher

Linear temporal logic Reactive synthesis

Mazigh Saoudi

PhD Student

Safa Zouari

PhD Student

Past Members