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

Florian Renkin

Associate Professor

Linear temporal logic Reactive synthesis

Daniel Stan

Associate Professor

Didier Verna

Professor

Ghiles Ziat

Associate Professor

Non Permanent Members

Mahmoud Chaari

PhD Student

Enzo Erlich

PhD Student

Mazigh Saoudi

PhD Student

Safa Zouari

PhD Student

Past Members