Tianhao Wu

I am currently a master student in Computer Science at University of Southern California (USC). Previously, I received my B.S. degrees in Applied & Computational Mathematics and Computer Science & Computer Engineering from USC. I am actively seeking PhD positions starting in Fall 2027.

My research interests are at the intersection of formal methods, control theory, and machine learning. Specifically, I am interested in developing frameworks that provide formal safety guarantees for autonomous and multi-agent systems.

---

Hobbies: basketball, speedcubing