Research Interest

I am fascinated by the elegance that coalgebras and coinduction offer in understanding state-based systems, infinite structures and logical operations. Combining this with the beauty of automatically verifiable proofs obtained from type theory gives a rough idea of my research area. Check out the lab page for more information.


You may find here the list of all my publications or you can consult DBLP, zbMath, ORCID, and Google Scholar. MGP tracks of course my ancestral relations!


I have initiated NetTCS.

Previously, I was the chair of the TYPES steering committee (2020–2023), I was on the SIGLOG publicity committee (2016–2022), and I was the publicity chair of the CALCO/CMCS series (2017–2021).