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.