About Me

I am a Professor in the Computer Science Department at Cornell University, where I did a postdoc exactly 10 years before joining as faculty in 2021!

Before Cornell, I was a Royal Society Wolfson Fellow and Professor of Algebra, Semantics, and Computation at the Programming Principles, Logic and Verification Group, University College London.

From September 2011 to August 2015, I was a (tenured) assistant professor at the Foundations group in the Institute for Computing and Information Science of the Radboud University Nijmegen (The Netherlands).

From September 2010 to August 2011, I was a post-doc at the Foundations of software engineering group, at the CWI, in Amsterdam. During that period, I spent some wonderful months in Ithaca visiting Dexter Kozen at Cornell University.

Until September 2010, I was a happy PhD student at the CWI under the great supervision of Jan Rutten and Marcello Bonsangue. My thesis, entitled Kleene coalgebra, was defended on the 21st December 2010 at the Radboud University, in Nijmegen (see here for more info about my thesis).

Before, I was an undergraduate student at University of Minho (Braga, Portugal). I completed my 5-year Maths and Computer Science degree in May 2006. My final project, Strong Types for Relational Data Stored in Databases or Spreadsheets, was supervised by J.N.Oliveira and Joost Visser.