Adrien Pommellet

Adrien Pommellet

Associate Professor at EPITA
Member of the LRDE's verification team

E-mail: adrien[at]
Phone: +33184071603
Mailing adress: LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France.

Biography and Research Interests

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 LRDE's verification team in 2019. My current research interest lies in model-checking algorithms and tool development for Büchi automata (Spot) and weighted timed automata.


I successfully defended my PhD thesis entitled 'On Model-checking Pushdown System Models' on the 5th of July, 2018.[pdf][slides]







My agenda