Skip to content
Thanh Le-Cong

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 Experiences

Singapore University of Technology and Design (SUTD)

Full-time

Assistant Professor

May 2026 – Present

Singapore

  • ◦Tenure-track Assistant Professor at the ISTD Pillar.
  • ◦Leading research group on trustworthy automated programming, focusing on reliable and secure software development with LLMs.

University of Melbourne

Full-time

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)

  • ◦Worked on specification inference with LLMs from natural language artifacts.
  • ◦Our approach detected 24 confirmed bugs (including 12 previously unknown bugs) in four widely-used Python libraries.

Amazon Web Services

Visiting

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.

Hanoi University of Science and Technology

Part-time

Research Mentor / Lead at AI4Code Lab

Aug 2021 – Present

Remote (Part-time)

  • ◦Co-founded the AI4Code Lab with Prof. Quyet Thang Huynh; mentor to 5+ undergraduate research students annually.
  • ◦Designed a training program and organized a weekly seminar series for undergraduate students.
  • ◦Mentees have received full PhD scholarships from SMU, NCSU, University of Melbourne, and University of Sydney.

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.