Short biography

I’m a lecturer in computer science at Queen Mary University of London within the theory group. I consider myself as a semanticist, with a predilection for “reverse semantics”, i.e. starting from a mathematical universe and extracting structural features which can inform the development of a programming language. My main research interests are: developing syntax and semantics for probabilistic programming, the verification of machine learning algorithms, algebraic and coalgebraic methods in computer science, coalgebraic logics and category theory.

I am an honorary member of the Programming Principles, Logic and Verification group at University College London where I spent many happy years. I was also a member of the Circuits and Systems team at Imperial College London and of Vincent Danos‘ team at the University of Edinburgh. I did my PhD at Imperial College London under the guidance of Dr. Dirk Pattinson on the subject of Coalgebraic Completeness-via-Canonicity. Before starting my PhD I was a quantitative fixed income strategist for a large investment bank for nearly six years. I had previously followed the glorious MSc in Quantum Fields and Fundamental Forces at Imperial College London.

Full CV


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s