Dr. Yu WangAssistant Professor
Yu Wang is an Assistant Professor at the Department of Mechanical and Aerospace Engineering at the University of Florida (UF) and the Group Lead of Autonomous and Connected Vehicles of the UF Transportation Institute. He was a Postdoctoral Researcher at the Department of Electrical and Computer Engineering at Duke University. He received his Ph.D. in Mechanical Engineering and M.S. in Statistics and Mathematics from the University of Illinois at Urbana-Champaign (UIUC). His research focuses on assured autonomy, cyber-physical systems, machine learning, and formal methods. This work on statistical verification of hyperproperties for cyber-physical systems was selected as one of the Best Paper Finalists of the ACM SIGBED International Conference on Embedded Software (EMSOFT) in 2019.