Tianhao Wu
‘Education Is Not the Learning of Facts, But the Training of the Mind To Think.’ --- Albert Einstein
I received my bachelor’s degrees in Applied and Computational Mathematics and Computer Science and Computer Engineering from University of Southern California. Currently, I am pursuing Master in Computer Science at USC, and will apply to PhD programs for the coming 2027 admission cycle.
My research interests lie at the intersection of formal methods, robotics, and machine learning, with the goal of developing frameworks that integrate the generalizability of data-driven approaches and rigor of formal methods to provide robust safety guarantees for systems that operate in complex and uncertain environments. Specifically, I am interested in verifying these frameworks in autonomous driving applications.
Hobbies: speedcubing (my WCA profile), basketball (only catch and shoot), learning foreign languages (ahora estudio Español, Peut-être du français plus tard)