University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
TA & Tutor for B1.1 Logic, B1.2 Set Theory. Tutor for Balliol & St. Anne's.
**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.
Applying Distributional Compositional Categorical Models of Meaning to Language Translation
Electronic Proceedings in Theoretical Computer Science 283, pp. 28–49, (2018).
Mathematical logic (model theory), decidability/definability, algebraic number theory + algebraic geometry.
Clarendon Scholarship, University of Oxford.
Foley-Béjar Scholarship, Balliol College.
Gold medal & Bishop Law Prize for merit in degree examinations, Trinity College Dublin.