Alex Simpson holds a Personal Chair in Foundations of Computer Science and is a member of the Laboratory for Foundations in Computer Science (LFCS) at the School of Informatics, University of Edinburgh.
Following an undergraduate degree in Mathematics at Oxford (1987), Alex Simpson has spent his career based at the University of Edinburgh where, after completing an MSc in Artificial Intelligence (1988) and a PhD in Computer Science (1994), he held positions as Lecturer (1996-2004) and Reader (2004-2010) before receiving his chair in 2010. He has held EPSRC Postdoctoral (1994-6) and Advanced (2001-7) Research Fellowships, was a research consultant at IRST (Trento, Italy, 1989-90), and has held visiting positions at Utrecht University (1998), Kyoto University (2002-3) and the University of Ljubljana (2010-11).
Inaugural Lecture of Alex Simpson: The intertwined foundations of mathematics and computer science Thursday 17 May 2012, 5.15pm Informatics Forum, G.07/G.07A 10 Crichton Street, Edinburgh EH8 9AB
Mathematics is commonly perceived as a subject in which there are absolute standards of truth and proof. This perception, however, is not entirely accurate. There are ways in which it is possible to shape mathematics to suit the applications to which it will be put. In this talk, which will be aimed at a general audience, I shall discuss various ways in which mathematics can be reshaped to take account of concepts arising in computer science. I shall also briefly touch upon how such reshapings might even be of use within certain areas of mathematics itself.