I am a Royal Society Wolfson Fellow and Professor of Algebra, Semantics, and Computation at the Programming Principles, Logic and Verification Group, University College London. In 2017-2018, I was the Departmental Tutor of the Computer Science Department.

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.