Research Experiences

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

Funded by the Melbourne Research Scholarship & Google PhD Fellowship

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