Profile Pic


My areas of research are broadly in Automata, Logics, Games and the formal verification of timed and probabilistic systems.

News

Since June 2020, along with Nathanaƫl Fijjalkow, Charles Grellois and Koko Muroya, I am organizing YR-OWLS, an online worldwide seminar on logic and semantics, featuring a young researcher every other wednesday in alternation with OWLS. Check out the OWLS website for more information regarding upcoming talks!


Logic Mentoring Workshop Panelist, June 28, 2021

Plenary Talk at MFPS 2021, Hybrid from Salzburg