Adrien Pommellet

Adrien Pommellet is an Associate Professor at EPITA, affiliated with the Laboratoire de Recherche en Informatique (LRE) automata team. His research focuses on formal methods, automata theory, and program synthesis.

• Education: PhD in Computer Science from Université Paris-Diderot (2018), Parisian Master of Research in Computer Science (2012)

His research interests include active and passive learning of automata, model-checking algorithms for Büchi automata, and program synthesis. He actively contributes to the development of the Spot formal verification tool.

Recent publications emphasize synthesis algorithms, automata reduction techniques, and LTL verification. He has also explored type systems and formal verification of concurrent programs.

Teaching roles include courses in computer science (AAA, COMP, CPXA) and formal logic (FOLO, LOFO). Formerly taught ALGO, LOGI, and PING.

He worked as a research engineer at CS Communications & Systèmes before joining EPITA's LRDE (now LRE) verification team in 2019.