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, and machine learning. Specifically, I am interested in developing theoretical frameworks that provide formal safety guarantees for autonomous and multi-agent systems. With recent advances in data-driven methods, integrating learning with formal methods becomes a promising direction for building systems that are adaptable to uncertain environments while providing verifiable guarantees. During my PhD, I aim to explore the connections among formal methods, control, and learning for safe autonomy.

---

Hobbies: basketball, speedcubing