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 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.