Welcome to my academic page!

I am currently looking for new postdoc opportunities – I am available from January 2023!

I am working as a postdoc with Matteo Mio in the PLUME team of the LIP laboratory, at ENS Lyon, France. I am studying the theory of Riesz spaces towards formal verification and certification of probabilistic software.

Previously 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

CentraleSupélec

MSc in Engineering, 2018

CentraleSupélec

MSc in Mathematical Logic and Foundations of Computer Science, 2017

Université Paris-Diderot

Weakening and Iterating Laws using String Diagrams.
To appear in *Mathematical Foundations of Programming Semantics*.

(2022).
(2021).
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces.
*International Colloquium on Automata, Languages and Programming*.

(2021).
Combining Probabilistic and Non-Deterministic Choice via Weak Distributive Laws.
*Logic in Computer Science*.

(2020).
From Structuring Elements to Structuring Neighborhood Systems.
*Mathematical Morphology and Its Applications to Signal and Image Processing*.

(2019).
(In)finite Trace Equivalence of Probabilistic Transition Systems.
*Coalgebraic Methods in Computer Science*.

(2018).
(2017).