Adrien Pommellet

Teacher, Researcher

After graduating from the Parisian Master of Research in Computer Science in 2012, I worked for two years as a research engineer at CS Communications & Systèmes with a focus on cryptography and cyber-security. I then did a PhD in Computer Science at the Université Paris-Diderot under the direction of Tayssir Touili. I introduced new model-checking techniques for pushdown automata and studied their potential applications to concurrent systems. I joined the LRE's (then LRDE) verification team in 2019. My current research interest lies in active and passive learning of various types of automata and logics, pushdown automata, program synthesis, and model-checking algorithms and tool development for Büchi automata (Spot).