CUFinder

Simon J Gay

Simon J Gay

University of Glasgow

H-index: 29

Europe-United Kingdom

Contact Simon J Gay

About Simon J Gay

Simon J Gay, With an exceptional h-index of 29 and a recent h-index of 19 (since 2020), a distinguished researcher at University of Glasgow, specializes in the field of Programming language foundations, quantum computing, formal methods.

His recent articles reflect a diverse array of research interests and contributions to the field:

On commutativity, total orders, and sorting

Special delivery: Programming with mailbox types

Artifact for" Special Delivery: Programming with Mailbox Types"

Special Delivery: Programming with Mailbox Types (Extended Version)

Special Delivery

The different shades of infinite session types

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)

Typechecking java protocols with [st] mungo

Simon J Gay Information

University

Position

School of Computing Science

Citations(all)

4067

Citations(since 2020)

1406

Cited By

3312

hIndex(all)

29

hIndex(since 2020)

19

i10Index(all)

51

i10Index(since 2020)

26

Email

University Profile Page

Google Scholar

Simon J Gay Skills & Research Interests

Programming language foundations

quantum computing

formal methods

Top articles of Simon J Gay

On commutativity, total orders, and sorting

2024/2/25

Vikraman Choudhury
Vikraman Choudhury

H-Index: 3

Simon J Gay
Simon J Gay

H-Index: 19

Special delivery: Programming with mailbox types

Proceedings of the ACM on Programming Languages

2023/8/30

Simon Fowler
Simon Fowler

H-Index: 6

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Simon J Gay
Simon J Gay

H-Index: 19

Phil Trinder
Phil Trinder

H-Index: 14

Artifact for" Special Delivery: Programming with Mailbox Types"

2023/7/8

Simon Fowler
Simon Fowler

H-Index: 6

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Phil Trinder
Phil Trinder

H-Index: 14

Special Delivery: Programming with Mailbox Types (Extended Version)

arXiv preprint arXiv:2306.12935

2023/6/22

Simon Fowler
Simon Fowler

H-Index: 6

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Simon J Gay
Simon J Gay

H-Index: 19

Phil Trinder
Phil Trinder

H-Index: 14

Special Delivery

2023

Simon Fowler
Simon Fowler

H-Index: 6

Duncan Paul Attard
Duncan Paul Attard

H-Index: 5

Simon J Gay
Simon J Gay

H-Index: 19

Phil Trinder
Phil Trinder

H-Index: 14

The different shades of infinite session types

2022/3/29

Simon J Gay
Simon J Gay

H-Index: 19

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)

arXiv preprint arXiv:2105.06973

2021/5/14

Paul Harvey
Paul Harvey

H-Index: 30

Simon Fowler
Simon Fowler

H-Index: 6

Ornela Dardha
Ornela Dardha

H-Index: 10

Simon J Gay
Simon J Gay

H-Index: 19

Typechecking java protocols with [st] mungo

2020/6/8

Ornela Dardha
Ornela Dardha

H-Index: 10

Simon J Gay
Simon J Gay

H-Index: 19

Duality of session types: The final cut

arXiv preprint arXiv:2004.01322

2020/4/3

Simon J Gay
Simon J Gay

H-Index: 19

Peter Thiemann
Peter Thiemann

H-Index: 15

Cables, Trains and Types

2020

Simon J Gay
Simon J Gay

H-Index: 19

See List of Professors in Simon J Gay University(University of Glasgow)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine