Short biography

I’m a post-doc at University College London with the Programming Principles, Logic and Verification 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 syntax. My main interests are: developing syntax and semantics for probabilistic programming, algebraic and coalgebraic methods in computer science, coalgebraic logics and category theory.

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: Logo

You are commenting using your 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 )

Google+ photo

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

Connecting to %s