Biography: Dr Simon Gay joined the School of Computing Science as a Lecturer in 2000, and became a Senior Lecturer in 2006. 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.
Dr Gay's research concerns two main areas. The first is foundations of programming languages, especially the topic of type systems for concurrent and distributed programming languages. The second is quantum computing, especially the development of formal verification techniques for systems that combine quantum and classical computation and communication.
Within the School of Computing Science, Dr Gay is a member of the Formal Analysis, Theory and Algorithms (FATA) research group. He is also actively involved in the Scottish Programming Languages Seminar (SPLS) and Quantum Information Scotland (QuISco), and is a member of the Research Committee of the British Computer Society Academy of Computing.
Research Interests: - Foundations of programming languages - type systems - quantum information - formal verification