Dr Simon Gay MA PhD MBCS CITP CSci

Simon Gay lecturing. Click on image for more photos
Photo by Daniel Oi.
Department of Computing Science
University of Glasgow
17 Lilybank Gardens
Phone: +44 141 330 6035
Fax: +44 141 330 4913
Email: simon@dcs.REMOVE.gla.ac.uk
Skype: SimonJGay
Click for Glasgow, United Kingdom Forecast

I am a Senior Lecturer in the Department of Computing Science, University of Glasgow. Within the department, I am a member 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.

Two funded PhD studentships are available in association with the project From Data Types to Session Types: A Basis for Concurrency and Distribution. One studentship can start at any time from 1st October 2013, and one is for October 2014. These studentships are only available for UK citizens, or for EU citizens who have been resident in the UK for 3 years. Please apply through the University of Glasgow online system, mentioning this project and giving my name as a potential supervisor. More details are on findaphd.com here and here.

Projects and Grants



Conferences and Workshops



Other Research Activities

Publications and my Google Scholar Profile


Biographical Information