Research Fellow in Logic or Applied Logic, UCL
I hold an MMath in Mathematics from the University of Warwick and a PhD in Computer Science from University College London (UCL) . I am a member of the London Mathematical Society and an associate member of the Institute of Mathematics and its Applications. I am currently Research Fellow in Logic or Applied Logic at UCL.
I have published several articles in leading conferences and journals on logic and its applications, across mathematics, computer science, and philosophy. I am the founder of the international symposium on Proof-theoretic Semantics.