Research

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 team page for more information.

Research Projects

Publications

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!

Activities

I have initiated NetTCS together with Jorge Pérez and Jurriaan Rot, it is now managed by Georgiana Caltais.

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).

Events