Dr Steven Ramsay
MEng(York), DPhil(Oxon.)
Current positions
Senior Lecturer
School of Computer Science
Contact
Press and media
Many of our academics speak to the media as experts in their field of research. If you are a journalist, please contact the University’s Media and PR Team:
Research interests
I research mathematical theories for reasoning about computation, and put them to use in programming tools. See my homepage for more details.
Projects and supervisions
Research projects
Scalable Static Taint Analysis for Erlang
Principal Investigator
Managing organisational unit
School of Computer ScienceDates
01/04/2023 to 01/10/2023
8030 EPSRC EP/T006595/1 Higher-order Constrained Horn Clauses
Principal Investigator
Managing organisational unit
Department of Computer ScienceDates
01/03/2020 to 28/02/2023
Higher-Order Program Invariants
Principal Investigator
Description
PhD Studentship funded by the NCSCManaging organisational unit
Department of Computer ScienceDates
01/10/2019 to 31/03/2023
Thesis supervisions
Publications
Recent publications
05/01/2024Ill-Typed Programs Don't Evaluate
Proceedings of the ACM on Programming Languages
Effect Handlers for Programmable Inference
Haskell 2023
Higher-Order MSL Horn Constraints
Proceedings of the ACM on Programming Languages
CycleQ
PLDI 2022
Initial Limit Datalog
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)
