Brian Tyrrell

Status

Postdoctoral Research Associate

https://sites.google.com/tcd.ie/brian-tyrrell

Research groups

Mathematical Logic

Address
Mathematical Institute
University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
Woodstock Road
Oxford
OX2 6GG

Teaching

TA & Tutor for B1.1 Logic, B1.2 Set Theory. Tutor for Balliol & St. Anne's.

Further details

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

Major / recent publications

Applying Distributional Compositional Categorical Models of Meaning to Language Translation

Tyrrell, B.

Electronic Proceedings in Theoretical Computer Science 283, pp. 28–49, (2018).

Research interests

Mathematical logic (model theory), decidability/definability, algebraic number theory + algebraic geometry.

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.