Postgraduate research students

Paul Smith

PhD Student in Computer Science (2026-2029)

Contact information:

  • University of Glasgow email: 3070332s@student.gla.ac.uk
  • Office address: Sir Alwyn Williams Building, 18 Lilybank Gardens, Glasgow, G12 8RZ
     

ORCID iDhttps://orcid.org/0009-0004-4799-6703

Research title: Mitigating Patch Overfitting in Automated Program Repair via Multi-Agent LLMs, Fine-Tuning, Prompt Engineering, and Retrieval-Augmented Generation

Research summary

Paul is interested in the following areas of research:

  • Automated Software Engineering
    • Automatic Program Repair (APR)
    • Automatic Patch Correctness Assessment (APCA)
  • Applied Artificial Intelligence and LLMs
    • Multi-agent systems (MAS)
    • Retrieval-Augmented Generation (RAG)
    • Fine-tuning LLMs
    • Prompt, Context & Harness Engineering
  • Program Analysis & Verification
    • Symbolic Execution & Fuzzing
    • Program Invariant Mining
    • Formal Methods and Verification

Supervisors

Additional information

Research & Artifacts

Source code and research artifacts will be made publicly available as the project progresses.

Educational background:

  • MSc Software Development (Distinction) - University of Glasgow, 2025
  • MSc (Econ) Finance & Investment Management (Commendation) - University of Aberdeen, 2020
  • BA (Hons) Politics & International Relations (2.1) - University of Strathclyde, 2019

Photo of Paul Smith in a Suit