Research Experiences

Graduate Researcher, CIS@The University of Melbourne, Feb 2023 - Now

Funded by the Melbourne Research Scholarship & Google PhD Fellowship

Adjunct Researcher, AI4Code Lab@Hanoi University of Science and Technology, Jan 2022 - Now

Applied Scientist Intern, Automated Reasoning Group@Amazon Web Services (AWS), Jun 2024 - Sep 2024

Research Engineer, SOAR@Singapore Management University, Jan 2022 - Dec 2022

Funded by the National Satellite of Excellence in Trustworthy Software Systems

Research Assistant, BKAI@Hanoi University of Science and Technology, July 2019 - Dec 2021

Visiting Scholar, IIIS@Griffith University, July 2019

Funded by the Griffith University Internal Grant.

Research Assistant, MSOLab@Hanoi University of Science and Technology, March 2017 - June 2019

Partially funded by the U.S. Army Combat Capabilities Development Command Pacific and Army Research Laboratory

Teaching Experiences

Academic Tutor, CIS@The University of Melbourne, Feb 2025 - June 2025

Guest Lecturer, North Carolina State University, September 2024

Mentoring Experiences

With the supports of my supervisors, Dr. Bach Le and Prof. Quyet-Thang Huynh, I had the privilege of mentoring and working with students/junior researchers.

Undergraduate Student: