EPSRC logo
Researcher Details
 
Name: Professor SJ Gay
Organisation: University of Glasgow
Department: School of Computing Science
Current EPSRC-Supported Research Topics:
Computer Sys. & Architecture Fundamentals of Computing
Software Engineering

Current EPSRC Support
EP/L00058X/1 Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems(C)
EP/K034413/1 From Data Types to Session Types---A Basis for Concurrency and Distribution(C)
Previous EPSRC Support
EP/F020813/1 Quantum Computation: Foundations, Security, Cryptography and Group Theory(P)
EP/F037368/1 Behavioural Types for Object-Oriented Languages(P)
EP/E065708/1 Engineering Foundations of Web Services: Theories and Tool Support(P)
EP/E00623X/1 NETWORK: Semantics of Quantum Computation(P)
EP/D030110/1 The Glasgow Computing Science Research Festival 2005(C)
GR/N39494/01 NOVEL TYPE SYSTEMS FOR CONCURRENT PROGRAMMING LANGUAGES(C)
GR/L75177/01 NOVEL TYPE SYSTEMS FOR CONCURRENT PROGRAMMING LANGUAGES(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator