Professor Simon Gay MA PhD MBCS CITP CSci

Simon Gay lecturing. Click on image for more photos
Photo by Daniel Oi.
School of Computing Science
Sir Alwyn Williams Building
University of Glasgow
Glasgow G12 8QQ
Phone: +44 141 330 6035
Fax: +44 141 330 4913
Skype: SimonJGay
Click for Glasgow, United Kingdom Forecast

I am a Professor in the School of Computing Science, University of Glasgow.
Within the school, I am Director of Research and leader of the Formal Analysis, Theory and Algorithms research group.

Research Interests

My main research area is programming language foundations. This concerns the theory, design and practice of the languages in which computer software is developed and coded. I am particularly interested in the design of programming language features that make it easier for programmers to develop software that relies on communication: for example, communication between computers and devices across the internet. This is important because modern life is so dependent on large-scale software systems in which communication is an essential aspect of the design.

I am also interested in quantum computing, which has the potential for a 21st century technological transformation similar to the development of digital computing in the 20th century. My interest here is in techniques for verifying the correctness of systems that combine classical and quantum computation and communcation.

PhD Opportunities

If you are interested in applying to do a PhD in one of my research areas, please contact me. There are numerous possible topics related to the projects listed below. You can find information about the application process here.

Projects and Grants



Conferences and Workshops



Other Research Activities

Publications and my Google Scholar Profile

Biographical Information