|
Angus John Macintyre FRS, FRSE is a British mathematician and logician and Professor of Mathematics at the Queen Mary, University of London. He is known for several fundamental, important, and widely influential contributions to Model theory, logic and their applications in algebra, algebraic geometry, and number theory. Macintyre has been a leading figure in model theory and its applications since the early 1970's.
After undergraduate studies in Cambridge University, he completed his PhD at Stanford University under Dana Scott in 1968 with a thesis entitled "Classifying Pairs of Real-Closed Fields". He was Professor of Mathematics at Yale University from 1973 until 1985, then Professor of Mathematical Logic at the University of Oxford and Professorial Fellow of Merton College, Oxford until 1999 when he became Professor of Mathematics at the University of Edinburgh until 2002. Since then he has been at Queen Mary.
Macintyre was the first Scientific Director of the International Center for Mathematical Sciences in Edinburgh. He was elected a Fellow of the Royal Society in 1993. In 2003, he was awarded the Pólya Prize by the London Mathematical Society. He was also elected a fellow of the Royal Society of Edinburgh. From 2009 to 2011, he served as the President of the London Mathematical Society. He has supervised a great number of doctoral students who have become leaders in the field.
|
