Profile Pic

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


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!