Short Bio

I obtained my master's degree in computer science in 2019 at Paris Cité University.
I did my thesis at LRE (EPITA) between 2019 and 2022, where I worked on reactive system synthesis.
I was a temporary teaching and research assistant at Paris Cité University for two years, then I did a postdoc under the supervision of Eugene Asarin, Mohammed Foughali and Peter Habermehl.

Research Interests

I work on ω-automata and their application to reactive controller synthesis.

Teaching

Publications

For a full list of publications, you can check DBLP.