(http://www.informatics.ed.ac.uk/people/staff/Kenneth_MacKenzie.html)
Kenneth MacKenzie received a PhD in Mathematics from the University of Edinburgh in 1990 and subsequently spent some time carrying out research in abstract algebra, principally related to the applications of homological algebra in the representation theory of finite-dimensional algebras. In 2001 he received an MSc in theoretical computer science, also from the University of Edinburgh. Since the beginning of 2002 he has been a researcher on the Mobile Resource Guarantees project, where he has been involved in the design and implementation of the Grail intermediate functional language.