Experience

Education, research, and industry positions

Education

University of Melbourne

PhD in Engineering and IT

Feb 2023 – May 2026

Melbourne, Australia

Thesis: Towards Reliable AI-assisted Program Repair

Advisors: Prof. Toby Murray, Dr. Bach Le

◦Funded by Melbourne Research Scholarship.
◦Awarded Google PhD Fellowship in Software Engineering and Programming Technology. (only recipient in Software Engineering in 2023)

Hanoi University of Science and Technology

Bachelor of Engineer in Information Technology

Aug 2016 – Aug 2021

Hanoi, Vietnam

Thesis: Automated Patch Validation for Program Repair

Advisors: Prof. Quyet-Thang Huynh

◦Awarded Best Undergraduate Thesis Award (Top 1 in cohort).
◦Selected for Talented Program (Top 30 in Admission).

Research & Industry

University of Melbourne

Graduate

Graduate Researcher

Feb 2023 – Feb 2026

Melbourne, Australia

Supervisors: Prof. Toby Murray, Dr. Bach Le

◦Conducted empirical studies and developed novel approaches for enhancing reliability of LLMs in Program Repair and Code Generation.
◦Supervised junior PhD and undergraduate students.

University of Stuttgart / CISPA Helmholtz Center for Information Security

Visiting

Visiting Researcher

July 2025 – Oct 2025

Stuttgart, Germany

Supervisors: Prof. Cristian Cadar (Imperial College London), Prof. Michael Pradel (CISPA)

◦Working on specification inference with LLMs from natural language artifacts.
◦Our approach detected 6 previously unknown bugs in two widely-used Python libraries (Pandas and Scipy).

Amazon Web Services

Internship

Applied Scientist II (Internship)

June 2024 – Sep 2024

Virginia, US

Supervisors: Dr. Brandon Paulsen, Dr. Joey Dodds, Prof. Daniel Kroening

◦Developed a repo-level code translation technique using LLMs and Automated Reasoning.
◦Translated key modules of a core library from C to Rust with formal proofs.
◦Received a return offer for next internship.

Singapore Management University

Full-time

Research Engineer

Jan 2022 – Jan 2023

Singapore

Supervisors: Prof. David Lo

◦Developed AI-enabled techniques for managing vulnerabilities in third-party software.
◦Collaborated with industry partners on deploying research papers in practice.
◦Published research papers at top-tier venues including FSE and ICSE.

Griffith University

Visiting

Visiting Scholar

July 2019 – Aug 2019

Australia

Supervisors: A/Prof. Henry Nguyen

◦Developed mathematical foundations for node embedding in large-scale graphs.