Profile Pic


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


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!