Hanchen (David) Wang
PhD Student, Computer Science
----------
Explainable AI, Formal verification, Multimodality
David is a rising fourth-year PhD student, advised by Meiyi Ma. his research interests lie in developing advanced algorithms for formal verification and explainable AI, particularly in critical safety areas. Additionally, David is working on multimodality to deliver more effective and practical feedback and recommendations to users, especially in the domain of physical therapy, to aid in their improvement.