University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
Mathematical logic (model theory), decidability/definability, algebraic number theory + algebraic geometry.
TA & Tutor for B1.1 Logic, B1.2 Set Theory. Tutor for Balliol & St. Anne's.
Prizes, awards, and scholarships:
Clarendon Scholarship, University of Oxford.
Foley-Béjar Scholarship, Balliol College.
Gold medal & Bishop Law Prize for merit in degree examinations, Trinity College Dublin.