Khang Vo Huynh Computer Science Ph.D. Student

Research Portfolio

Khang Vo Huynh

I am an international student from Viet Nam and a Computer Science Ph.D. student at The University of Virginia - Charlottesville (UVA), after graduating from St. Olaf College.

My work is centered on reliable, robust, and adaptive AI-enabled cyber-physical systems, with deep interests in Formal Methods theory and application in Controller Synthesis, Large Language Mode, and Vision Language Action model. My research specific focuses in enabling AI models to have safety reasoning as well as creating framework to monitor safety issues in deploying such systems.

Last update: April 2026

Portrait of Khang Vo Huynh
Research focus Formal Methods and Verification for AI System

Research Interest

Building safe and trusthworthy cyber-physical systems

My research interests are in building cyber-physical systems, mostly AI systems, that are reliable, robust, and adaptive. More specifically, I am interested in utilizing formal methods theory and framework such as DSL, probabilistic model checking to enhance the safety reasoning in AI models and how these tools can improve the trust between users and AI-system outputs.

Formal Methods Safety Runtime Monitoring Explainable AI Reinforcement Learning Deep RL Robotics Computer Vision
Research image for Khang Vo Huynh's academic interests

News & Updates

Recent research milestones

  1. April 2026

    "A Peano Coincidence" was published at Journal of Mathematical Analysis and Applications. [Co First-Author]

  2. December 2025

    Preprint version of the paper "Optimization-Based Robust Permissive Synthesis for Interval MDPs" is available on ArXiv. [First Author]

  3. June 2023

    "Efficiently Filling Space" was published at Rocky Mountain Journal of Mathematics. [Co First-author]

  4. 2022

    Delivered a presentation, titled "Strategic Awareness of Surroundings to Reduce Network Disruption while Maximizing Coverage in Multi-Robot Exploration", at Midstates Physical Sciences, Math and Computer Science Undergraduate Research Symposium 2022.

  5. 2022

    Presented a poster, titled "Cloud-powered PDC Computations For a Runestone Interactive Textbook", at Midstates Physical Sciences, Math and Computer Science Undergraduate Research Symposium 2022.

  6. July 2022

    "Finding the Keys to Peano Curve" was published at Acta Mathematica Hungarica. [Co First-author]

  7. 2022

    Presented my work, "Finding the Keys to Peano Curve", at 22nd Annual Mathematics on the Northern Plains.

Publications

List of publications

If not mentioned, entries indicate co-authorship.

Paul Humke, Khang Vo Huynh, and Thong Vo. "Efficiently Filling Space". The Rocky Mountain Journal of Mathematics, vol. 53 (2023), no. 2, June 2023, pp. 477-484, https://www.doi.org/rmj.2023.53-2.

Full List of Projects

Other Projects

Here, you will find the full list of projects that I have done throughout my entire career. I ordered them based on the timeline of when I started them, from right to left. Click on the Details button if you would like to find more information.

Remark

Thank you for visiting

Thank you so much for visiting my website. I try to capture everything that I could possibly fit in a single website, but sometimes it could not showcase all of my personality or other aspects of my life. I often update the website with news regarding my journey to become a better researcher. If there is any collaboration chance that you think could be a good fit for me, please do not hesitate to contact me through the links in the footer section of the website.