Angus MacIntyre is a mathematician whose influence has been widely felt in fields such as number theory and algebraic geometry. Much of his most important work has been carried out on model theory — the study of different classes of mathematical structures.
Angus has made numerous valuable contributions to his area of research, often by extending logical methods originally developed to tackle more limited problems. Although much of his work is highly abstract in nature, more recent collaborations have highlighted its potential for applications in theoretical computer science and the study of neural networks.
The first Scientific Director of the International Centre for Mathematical Sciences, Angus was awarded the London Mathematical Society’s Pólya Prize in 2003. He went on to serve as its President from 2009 to 2011, and is currently an Emeritus Professor at Queen Mary, University of London.
Mathematical logic, model theory