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 lie at the intersection of formal methods, cyber-physical systems and safe autonomy. Specifically, I am interested in developing expressive spatio-temporal logics and quantitative semantics, designing verifiable safety frameworks for autonomous systems under uncertainty, and validating them on safety-critical applications such as autonomous driving.

---

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

---

Hobbies: basketball, speedcubing