LaBRI, Bordeaux
I am a PhD student in LaBRI, Bordeaux, under the supervision of Anca Muscholl and Igor Walukiewicz. My thesis is about monitoring and control problems over models of distributed systems, but I am interested in everything related to automata, logics and games. Before that, from 2017 to 2021, I was a student at the ENS Paris-Saclay.
I am currently in charge of the Formal Methods seminar in LaBRI, with Igor Walukiewicz, and of the PhD student seminar.
Despite some differences between presentations, I am only giving one representative set of slides for each subject.