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, robotics, and control theory. Specifically, I am interested in (1) introducing expressive spatio-temporal logics and quantitative semantics, (2) developing safe control frameworks for dynamic multi-agent systems with formal guarantees, and (3) testing these theoretical frameworks on safety-critical applications such as autonomous driving.

---

Hobbies: basketball, speedcubing