I am a Professor in the Computer Science Department at Cornell University. Part of my research group is still based at University College London, so in the coming years I will also be spending some time at UCL, where I was previously a Royal Society Wolfson Fellow and Professor of Algebra, Semantics, and Computation.

This webpage gathers all the information about my research, including my publications and talks. You can read about me, my professional activities, check where I am at the moment and download my CV.

I am very fortunate to work an amazing group of students and post-docs in a range of projects!

My main research focuses on the modular development of specification languages and algorithms for models of computations. A lot of my work is developed from the unifying perspective offered by coalgebra, a mathematical framework established in the last decades.

Recent News

8 Oct 2026

I am thrilled to co-organize the Cornell Thought Summit on AI and Formal Methods, taking place in Ithaca on January 19-21, 2027!

26 Jul 2026

Our paper on SMT-based active learning of weighted automata appears at CAV 2026 in Lisbon.

7 Jul 2026

Our paper on a diagrammatic axiomatisation of behavioural distance appears at ICALP 2026.

6 Jul 2026

I am very proud of Tiago Ferreira, who just graduated with his PhD!

29 Jun 2026

I co-chaired the program committee of ECOOP 2026 in Brussels with Robbert Krebbers.

Read more on other news.