Simon Gay

Simon Gay

Head of School of Computing Science

University of Glasgow

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.


  • Programming language foundations
  • Quantum computing


  • PhD in Computer Science, 1995

    Imperial College London

  • Diploma in Computer Science, 1991

    Queens' College, University of Cambridge

  • BA in Mathematics, 1991

    Queens' College, University of Cambridge