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
08/01/2026Domain-Theoretic Semantics for Functional Logic Programming: 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026)
Proceedings of the ACM on Programming Languages
Higher-Order MSL Horn Constraints
Proceedings of the ACM on Programming Languages
CycleQ: The 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation - Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
PLDI 2022
Intensional Refinement Datatypes: With Application to Scalable Verification of Pattern-Match Safety
Proceedings of the ACM on Programming Languages
Thesis
Lightweight Approaches to the Verification of Functional Programs
Supervisors
Award date
19/03/2024
