About Me
Welcome! I am a PhD researcher at Trintiy College Dublin. My research lies in the intersection of program verification, artificial intelligence, and theorem proving. I am particularly interested in the scaling and automation of program verification and theorem proving using AI -- my most recent work concerns the generation of loop invariants using a neurosymbolic approach. Prior to my current position, I received my BSc (Hons) in Theoretical Physics and Applied Mathematics. I also spent 5 years in industry as a software engineer.
Research Interests
- Program Verification
- Artificial Intelligence
- Theorem Proving
Publications
A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
Preprint, 2026
LLMs and Fuzzing in Tandem: A New Approach to Automatically Generating Weakest Preconditions
STTT Challenges of Software Verification 2025, 2026
LLM-Based Generation of Weakest Preconditions and Precise Array Invariants
2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE), 2025
Contact
Email: kingd6@tcd.ie