In our research, we strive to address open challenges in software development by creating practical solutions that emphasize innovative ideas, creativity, mathematical elegance, and scientific rigor.
Documents
Current students
-
Dimitrios Bouras (Research Assistant, PKU)
October 2024–Present
-
Haoxiang Jia (PhD, PKU)
September 2024–Present
Thesis: Addressing LLM Hallucinations in Software Engineering Tasks
-
David Williams (PhD, UCL)
March 2024–Present
Second supervisor. First supervisor: Federica Sarro
Thesis: Automatic Patch Explanation Using Large Language Models
-
Liu Yu (PhD, NUS/CREST)
September 2020–Present
Co-advisor with Abhik Roychoudhury
Thesis: A Static Program Repair Framework Based on Symbolic Datalog
Alumni
-
Nikhil Parasaram (PhD, UCL)
September 2019–October 2024
First supervisor. Second supervisor: Earl T. Barr
Thesis: Synergising Program Analysis and Machine Learning for Program Repair
First Job: Uber (Programming Systems Team)