Welcome to my academic page!

Since January 2023, I am a Research Fellow in Automated Verification in University of Southampton, UK, within the COVER project of Corina Cîrstea.

Previously, I worked as a postdoc with Matteo Mio in the PLUME team of the LIP laboratory, at ENS Lyon, France.

Even before that, I was a PhD student in the LogiMICS team of the MICS laboratory, at CentraleSupélec, France. My amazing supervisors were Daniela Petrişan and Marc Aiguier. My research there focused on weak distributive laws and their application to computer science, e.g. automata. I successfully defended my PhD thesis on Tuesday 19 October 2021. You can download the manuscript and the slides.


  • Theoretical Computer Science
  • Logic
  • Category Theory
  • Coalgebra
  • Probability Theory


  • PhD in Theoretical Computer Science, 2021


  • MSc in Engineering, 2018


  • MSc in Mathematical Logic and Foundations of Computer Science, 2017

    Université Paris-Diderot