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) advised by Dr. Lu Feng, after graduating from St. Olaf College.
My work is centered around making AI-enabled cyber-physical systems more reliable, robust, and adaptive , with deep interests in Formal Methods theory and application in Controller Synthesis, Large Language Models, and Vision Language Action models. My research specifically focuses on enabling AI models to have safety reasoning as well as creating a framework to monitor safety issues in deploying such systems.
Last update:
