Tianhao Wu

I received B.S. degrees in Applied Mathematics and Computer Science & Computer Engineering from University of Southern California, currently pursuing an M.S. degree in Computer Science at USC. I am applying to PhDs for fall 2027 admission cycle.

My research interests are at the intersection of control theory, formal methods, and machine learning, with applications in autonomous systems, cyber-physical systems, and robotics. Specifically, I am interested in developing frameworks that provide verifiable safety guarantees for systems operating in uncertain environments.

Keywords: temporal logic, probabilistic verification, MPC, HJ-reachability, CBF-CLF, autonomous driving

---

Fun fact: Besides my favourite Einstein quote, I also love the following claim by the great mathematician Gauss that, ‘Mathematics is the queen of the sciences, and number-theory the queen of mathematics.’ First read in a number theory textbook, I was not able to taste the beauty of this sentence until watched this wonderful video by 3 Blue 1 Brown. Couldn’t described how fascinating it is to simply see that “it all just happened”, beyond imagination.

---

Hobbies: basketball, speedcubing (WCA)