Postgraduate research students

Paul Smith

Contact information:

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:

  • Automatic Program Repair
  • LLMs:
    • Multi-agent LLMs
    • Fine-tuning LLMs
    • Retrieval-Augmented Generation (RAG)
    • Prompt Engineering
  • Using Artificial Intelligence (AI) in Software Engineering (SE)
  • Fuzzing
  • Program Invariant Mining
  • Formal Methods/Verification
  • Automatic Patch Correctness Assessment

 

Supervisors


Photo of Paul Smith in a Suit