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 formal methods, cyber-physical systems and safe autonomy, including (1) introducing new quantitative semantics and relaxation mechanisms for spatio-temporal logics, (2) developing verifiable safety frameworks for multi-agent systems under uncertainty with formal logics, and (3) validating these frameworks in autonomous driving and drone swarms.

---

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. 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. It’s hard to describe how fascinating it is to simply see that “it all just happened”, beyond imagination.

---

Hobbies: basketball, speedcubing