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

30 May 2026

I am incredibly proud of Noam Zilberstein and Mark Moeller, who just graduated their PhD at Cornell!

3 Feb 2026

I am spending the next few months enjoying time with my newborn daughter!

25 Jan 2026

Our pcOL paper got a Distinguished Paper Award at POPL 2026!

27 May 2025

Check out https://netkat.org, which includes a nice tutorial and playground, all created by the amazing Jules Jacobs!

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.

Read more on other news.