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

12 May 2025

I will be teaching courses on Kleene Algebra with Tests (KAT) and verification this summer at CMMRS 2025 and at Summer School Marktoberdorf 2025.

2 Mar 2025

I am co-organizing OPLSS this year and we have an amazing lineup of speakers!

10 Jan 2025

I am excited to give a keynote talk at VMCAI, where I will be presenting some recent exciting results on Outcome Logic, a project led by my graduate student Noam Zilberstein.

1 July 2024

I am on sabbatical this academic year, spending most of my time in London!

2 Jun 2024

I am teaching at OPLSS@BU this week!

Read more on other news.