I’m a lecturer in computer science at Queen Mary University of London within the theory group. I consider myself 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 probabilistic and machine learning algorithms, algebraic and coalgebraic methods in computer science, coalgebraic logics and category theory. I'm currently funded by a VeTSS Research Award.
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.