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, the verification of machine learning algorithms, 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.