Elected: 1995
Discipline: Informatics, Mathematics and Statistics
Professor Angus John Macintyre FRS FRSE

Former Emeritus Professor, Queen Mary University of London.