University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
Applying Distributional Compositional Categorical Models of Meaning to Language Translation
Electronic Proceedings in Theoretical Computer Science 283, pp. 28–49, (2018).
Stipendiary Lecturer at Keble College. Tutor for B8.5 Graph Theory and C3.7 Elliptic Curves.
Clarendon Scholarship, University of Oxford.
Foley-Béjar Scholarship, Balliol College.
Gold medal & Bishop Law Prize for merit in degree examinations, Trinity College Dublin.
Mathematical logic (model theory), decidability/definability, algebraic number theory + algebraic geometry.
**SURVEY** I am collecting responses for my survey, Mathematics and Colour (https://goo.gl/forms/Xq7sGUgsyiLxqbFH3). Please fill it out if you have a minute.