College Directory

Primary Research Area: Formal Methods, AI Safety, Cyber-Physical Systems, Robotics

Research Areas: Verification and Validation for Learning-enabled Autonomy

Research Interests: Formal Verification, Specification and Modeling Languages, AI Safety

Publications: See my Google Scholar: https://scholar.google.com/citations?user=_RzS3uMAAAAJ&hl=en

Websites: (links to personal and professional  websites):  https://sites.google.com/view/v2a2/about

Awards & Distinctions:

• NSF CAREER (2025)
• SIU PRIZE Golden Medal (2025) for Young Vietnamese Scientist in Computer Science Worldwide
• NSF EPSCoR Early Career First Award, 2022
• IEEE TCCPS Outstanding PhD Dissertation Award (2021)