Bach Le

Bach Le

Senior Lecturer @ The University of Melbourne. Former Fellow of Australian Research Council DECRA Award (2022 - 2024)

About me

I’m Bach Le (also known in my publications as Xuan-Bach D. Le). I’m currently a Senior Lecturer (equivalent to U.S. Tenured Associate Professor) at the University of Melbourne, Australia. I was formerly an Australian Research Council DECRA Fellow (from 2022 to 2024). Previously, I was a postdoc at Carnegie Mellon University, working with ACM Distinguished Scientist & Associate Prof. Corina Pasareanu. I received my PhD from Singapore Management University in June 2018, under supervision of ACM Distinguished Member & OUB Chair Professor David Lo.

My research mission is to make automated software debugging a central part of Software Engineering in ensuring high quality of software via the synergy of AI/data mining with automated reasoning techniques. My research interests span software engineering and programming languages, including:

  • Program Repair, Program Synthesis, Deductive Verification, Grammar-based Fuzzing, Multi-version Reasoning.
  • Human-centered and AI-powered Debugging, e.g., empirical and human study, graph mining, LLMs and its application in neuro-symbolic reasoning.

Evidence of my research and supervision excellence includes:

  • My students’ fellowships/awards: Harvard Postdoctoral Fellowship (2025), IEEE Distinguished Paper Award (2023), Google PhD Fellowship Award (2023), University Endeavor Award (2020, 2021), and Best Undergraduate Thesis Award (2022).
  • My research’s award: Australian Research Council DECRA Award 2022 (worth approx. 500K) by the Australian government.

Education & Appointments

Senior Lecturer (US Associate Professor), The University of Melbourne, Australia, Sept’24 - Present

Lecturer (US Assistant Professor), The University of Melbourne, Australia, July’19 - August’24

Australian Research Council Discovery Early Career Researcher Award (ARC DECRA) Fellow, Jan’22 - Dec’24

PostDoc, Carnegie Mellon University, Silicon Valley, June’18 - June’19 Supported by DARPA STAC program, ISSTAC project. Topic: Software Security, Advisor: ACM Dishtinguished Scientist & Assoc. Prof. Corina Pasareanu

PhD Candidate, Singapore Management University, Singapore, Jan’14 - May’18 Supported by LARC-Carnegie Mellon University collaboration program. Topic: Automatic software repair, Advisor: Prof. David Lo

PhD Residency Training, Carnegie Mellon University, Pittsburgh USA, Aug’15 - June’16 Under LARC-CMU collaboration program, supported by Singapore Ministry of Education. Topic: Automatic software repair, Host: Assoc. Prof. Claire Le Goues

BSc (Hons), Hanoi University of Science and Technology, Vietnam, Aug’07 - May’12 Topic: SAT solvers and its application in software verification Advisors: Assoc. Prof. HUYNH Quyet Thang, and Assoc. Prof. Wei Ngan Chin

Research Assistant, National University of Singapore, Singapore, Aug’12 - Nov’13 Topic: Static software verification using SAT and Separation Logic Advisor: Assoc. Prof. Wei Ngan Chin

Research Intern, National University of Singapore, Singapore, Feb’12 - May’12 Topic: Static software verification using SAT and Separation Logic Advisor: Assoc. Prof. Wei Ngan Chin

Undergraduate Intern, Nagoya University, Japan, Aug’12 Topic: Building a social network application, Host: Prof. Toyohide WATANABE

High School Student, Phan Boi Chau High School for Gifted students, Nghe An, Vietnam, May’05 - May’07 Mathematics-specialized class First prize - Highest score (Thủ Khoa) at Mathematical Olympiads, Nghe An province, 2005 First prize - Highest score (Thủ Khoa) at Mathematical Olympiads, Nghe An province, 2000