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, including (1) introducing quantitative semantics and relaxation mechanisms for spatio-temporal logics, (2) developing verifiable safety frameworks with formal logics, and (3) validating these frameworks in safety-critical systems such as autonomous driving and drone swarms.

---

Hobbies: basketball, speedcubing