 In 1999, Macintyre moved to the University of Edinburgh, where he was Professor of Mathematics until 2002, when he moved to Queen Mary College, University of London.Macintyre was the first Scientific Director of the International Centre for Mathematical Sciences (ICMS) in Edinburgh.Macintyre is known for many important results.