Graduate Research Assistant
Yunhao Yang is a Ph.D. student in computer science at The University of Texas at Austin. He started his Ph.D. program in Fall 2022. Prior to this, he received B.S. and M.S. degrees in computer science, and a B.A. in mathematics from UT Austin. He is currently a member of the Center for Autonomy, supervised by Prof. Ufuk Topcu. His research centers on integrating foundation models with formal methods into autonomous system control, with broader interests in AI safety, reliability, and privacy.
Contact Information