Scholar
Adrien Pommellet
Google Scholar ID: MCqKXtUAAAAJ
Associate professor in Computer Science, LRE, Epita
Citations & Impact
Citations
127
H-index
8
i10-index
6
Publications
19
Co-authors
4
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Successfully defended his PhD thesis titled 'On Model-checking Pushdown System Models' on July 5th, 2018; published multiple papers such as 'SAT-based Learning of Computation Tree Logic', 'The Reactive Synthesis Competition (SYNTCOMP): 2018-2021', etc.
Research Experience
- Worked as a research engineer at CS Communications & Systèmes focusing on cryptography and cyber-security from 2012 to 2014. Joined LRE's (then LRDE) verification team in 2019.
Education
- Graduated from the Parisian Master of Research in Computer Science in 2012; obtained a PhD in Computer Science under the direction of Tayssir Touili at Université Paris-Diderot in 2018.
Background
- Research interests include 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.
