|
School of Computing Science Sir Alwyn Williams Building University of Glasgow Glasgow G12 8QQ UK |
Phone: +44 141 330 6035 Fax: +44 141 330 4913 Email: Simon.Gay@glasgow.REMOVE.ac.uk Skype: SimonJGay ORCID: 0000-0003-3033-9091 |
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.