Dr Simon Gay MA PhD MBCS CITP CSci

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

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

A funded PhD studentship is available in association with the project From Data Types to Session Types: A Basis for Concurrency and Distribution. This studentship is only available 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.

Projects and Grants

Current

• Chair, COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (BETTY) October 2012 - October 2016.
• From Data Types to Session Types: A Basis for Concurrency and Distribution (EPSRC EP/K034413/1) June 2013 - May 2018 (jointly with Philip Wadler and Nobuko Yoshida).

Past

• Types for Concurrent Programming (completed), funded by the Nuffield Foundation
• Novel Type Systems for Concurrent Programming Languages (completed), funded by the EPSRC
• Typed Programming Languages for Communicating Object Systems (completed), funded by the Treaty of Windsor Programme (a joint scheme of the British Council in Portugal and the Portuguese Council of University Rectors).
• 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).

Conferences and Workshops

Current

• PC Member: 29th Annual IEEE Symposium on Logic in Computer Science (LICS 2013).
• PC Member: 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS).
• PC Member: 5th Conference on Reversible Computation (RC 2013).
• PC Member: 10th International Workshop on Quantum Physics and Logic (QPL 2013).
• PC Chair: 2nd International Workshop on Behavioural Types (BEAT II).

Past

• 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).
• Co-organizer: Workshop on Behavioural Types, Lisbon, 2011.
• 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).
• PC Member: 19th Workshop on Foundations of Object-Oriented Languages (FOOL 2012).
• PC Member: 9th International Workshop on Quantum Physics and Logic (QPL 2012).
• ERC (External Review Committee) Member: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013).
• PC Member: Workshop on Behaviours and Types (BEAT 2013).

Other Research Activities

• Quantum Information Scotland (QuiSco)
• Scottish Programming Languages Seminar
• Member of the EPSRC Peer Review College.

Publications and my Google Scholar Profile

Teaching

• CS1P
• Software Engineering 3 (Mechanical Engineering course)

Biographical Information