Skip to main content
University of Oxford logo Home

Search form

  • Log in
  • Members
  • About Us
    • Contact Us
    • Travel & Maps
    • Our Building
    • Supporting Mathematics
    • Alumni
    • History
    • Art and Oxford Mathematics
    • News
    • Vacancies
    • Equality, Diversity & Inclusion
  • Study Here
    • Undergraduate Study
    • Postgraduate Study
    • Current Students
  • Research
    • Research Groups
    • Case studies
    • Faculty Books
  • Outreach
    • Posters
    • Oxford Mathematics Alphabet
    • Oxford Online Maths Club
    • It All Adds Up
    • Problem Solving Matters
    • PROMYS Europe
    • Oxfordshire Maths Masterclasses
    • Maths Week England
    • Outreach Information
    • Mailing List
  • People
    • Key Contacts
    • University People Search
    • People list
    • A Global Department
    • Research Fellowship Programmes
    • Professional Services Teams
  • Events
    • Conference Facilities
    • Public Lectures & Events
    • Departmental Seminars & Events
    • Special Lectures
    • Conferences
    • Summer Schools
    • Past Events
    • Alumni newsletters
    • Info for event organisers and attendees

Primary tabs

  • View(active tab)
  • Contact
Image of Brian Tyrrell

Brian Tyrrell

Status
Postdoctoral Research Associate
Contact form
https://sites.google.com/tcd.ie/brian-tyrrell
+44 1865 615178
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.

Oxford Mathematics Twitter
Oxford Mathematics Facebook
Oxford Mathematics Instangram
Oxford Mathematics Youtube

© Mathematical Institute
Website Accessibility Statement
Website Privacy Policy & Cookies Statement

Good practice scheme
Athena SWAN silver award
Stonewall workplace equality
sfy39587stp18