Angus MacIntyre
From Wikipedia, the free encyclopedia
Angus John Macintyre FRS is a British mathematician known for his contributions to Model theory and logic. He is professor of mathematics at the Queen Mary, University of London.
He completed his PhD under the supervision of Dana Scott in 1968 with a thesis entitled "Classifying Pairs of Real-Closed Fields". He was elected a Fellow of the Royal Society in 1993, and in 2003 he was awarded the Pólya Prize by the London Mathematical Society.