Profile Pic

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


OWLS is on a break since Jan 2022. Between June 2020 and December 2021, along with Nathanaƫl Fijjalkow, Charles Grellois and Koko Muroya, I have been 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!