My areas of research are broadly
in Automata, Logics, Games and the formal verification of timed and probabilistic systems.
News
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!