Simon Gay is Professor of Computing Science at the University of Glasgow. He is Director of Research in the School of Computing Science, and leader of the Formal Analysis, Theory and Algorithms research section. His main research topic is programming language foundations. He is a co-investigator on the EPSRC Programme Grant "From Data Types to Session Types: A Basis for Concurrency and Distribution", and was chair of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems. He also works on formal methods for quantum information processing, and led the EPSRC Network on Semantics of Quantum Computation from 2006 to 2010. Before joining the University of Glasgow in 2000, Professor Gay received his PhD from Imperial College London and worked as a lecturer at Royal Holloway, University of London.