Dr Simon Gay
MA PhD MBCS CITP CSci
Photo by
Daniel Oi
.
Department of Computing Science
University of Glasgow
17 Lilybank Gardens
Glasgow
UK
Phone: +44 141 330 6035
Fax: +44 141 330 4913
Email: simon@dcs.REMOVE.gla.ac.uk
Skype: SimonJGay
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
Programming language semantics and type theory, especially for concurrent and distributed systems.
Quantum computing, communication and cryptography, especially formal modelling and analysis of quantum protocols.
Departmental programming language research page.
Bibliography on Quantum Programming Languages
.
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
QNET: Network on Semantics of Quantum Computation
(
EPSRC
EP/E00623X/1
) September 2006 - February 2010 (jointly with
Ian Mackie
EP/E006833/1
)
QICS: Foundational Structures in Quantum Information and Computation
(EU FP6 STREP) January 2007 - December 2009 (as a satellite of Oxford).
Engineering Foundations of Web Services: Theories and Tool Support
(
EPSRC
EP/E065708/1
) December 2007 - November 2010 (jointly with
Nobuko Yoshida
EP/F003757/1
and
Kohei Honda
EP/F002114/1
)
Quantum Computation: Foundations, Security, Cryptography and Group Theory
(
EPSRC
EP/F020813/1
) January 2008 - December 2010 (jointly with
Andrew Duncan
,
Peter Ryan
,
Sarah Rees
,
Sam Braunstein
,
Mark Lawson
,
Mark Kambites
)
Behavioural Types for Object-Oriented Languages
(
EPSRC
EP/F037368/1
) January 2008 - June 2008 (visiting fellowship for
Antonio Ravara
).
Other Research Activities
Quantum Information Scotland (QuiSco)
Scottish Programming Languages Seminar
Member of the
EPSRC Peer Review College
.
PC Member:
3rd International Workshop on Quantum Programming Languages (QPL 2005)
.
PC Member:
2nd International Workshop on Developments in Computational Models (DCM 2006)
.
PC Member:
4th International Workshop on Quantum Programming Languages (QPL 2006)
.
Invited Speaker:
Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)
.
PC Member:
1st Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2008)
.
PC Co-Chair:
2nd Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2009)
.
PC Member:
16th International Workshop on Expressiveness in Concurrency (EXPRESS 2009)
.
PC Member:
1st Workshop on Linearity (LINEARITY 2009)
.
PC Member:
Workshop on Developments in Computational Models (DCM 2010)
.
Invited speaker:
4th Interaction and Concurrency Experience (ICE 2011)
.
PC Member:
8th International Workshop on Quantum Physics and Logic (QPL 2011)
.
PC Co-Chair:
5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2012)
.
Invited speaker:
4th International Workshop on Linearity (LINEARITY 2012)
.
PC Member:
4th Workshop on Reversible Computation (RC 2012)
.
ERC (External Review Committee) Member: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013).
Publications
and my
Google Scholar Profile
Teaching
CS1P
Software Engineering 3 (Mechanical Engineering course)
Biographical Information
