معرفی
Simon J. Gay is a Professor and Head of the School of Computing Science at the University of Glasgow. His primary roles include leading the school and advancing research in programming languages and quantum computing. He holds a PhD from Imperial College London and has held academic positions at Royal Holloway, University of London, and Imperial College London.
Education: MA in Pure and Applied Mathematics (University of Cambridge), PhD in Computing (Imperial College London).
Research interests focus on programming languages (especially communication-centric software design) and quantum computing, including verification techniques for quantum systems. He leads the EPSRC-funded STARDUST project on session types and participates in the EU RISE BehAPI project on behavioral APIs.
Key contributions include tools like Mungo/StMungo for session type analysis, work on quantum protocol verification (e.g., QMC model checker), and foundational research in session types for distributed systems. His recent work addresses asynchronous communication, quantum concurrency, and runtime adaptation in actor-based systems.
Grants: Session Types for Reliable Distributed Systems (EPSRC), BehAPI (EU H2020), and others. Supervised students include Arwa Hameed Alsubhi (interoperability of typestate tools) and Jacob Trevor (quantum computation memory management).
