Professor Simon Gay is Head of School in the School of Computing Science. He joined the School of Computing Science as a Lecturer in 2000, becoming a Senior Lecturer in 2006 and a Professor in 2015. Before coming to the University of Glasgow he was a Lecturer in Computer Science at Royal Holloway, University of London, and before that, a Research Associate in the Department of Computing at Imperial College London. He has an MA in Pure and Applied Mathematics and a Diploma in Computer Science, both from the University of Cambridge, and a PhD in Computing from Imperial College London.

He is Glasgow PI of the ABCD project (From Data Types to Session Types: A Basis for Concurrency and Distribution) and is Chair of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems ( BETTY). He has contributed to the study of session types in pi calculus, in functional languages, and in object-oriented languages; the latter work provides the foundation for Mungo.

You can find more detailed information here.