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

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