Dr Eddie Jones
BSc, PhD
Current positions
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:
Projects and supervisions
Research projects
Scalable Static Taint Analysis for Erlang
Principal Investigator
Role
Researcher
Managing organisational unit
School of Computer ScienceDates
01/04/2023 to 01/10/2023
Publications
Recent publications
11/01/2023Higher-Order MSL Horn Constraints
Proceedings of the ACM on Programming Languages
CycleQ
PLDI 2022
Intensional Refinement Datatypes
Proceedings of the ACM on Programming Languages
Thesis
Lightweight Approaches to the Verification of Functional Programs
Supervisors
Award date
19/03/2024
