Tianhao Wu
‘Education Is Not the Learning of Facts, But the Training of the Mind To Think.’ --- Albert Einstein
I graduated from the University of Southern California in 2024 with degrees in Applied and Computational Mathematics, and Computer Science & Computer Engineering. Currently, I am pursuing an M.S. degree in Computer Science at USC.
My research lies at the intersection of formal methods, robotics, and machine learning, with a focus on developing formally verifiable safety guarantees for robotic and autonomous systems. For real-world applications, I’m particularly interested in autonomous driving and drones.
More About Me
Hobbies: badminton, basketball, Rubik’s Cube, learning different languages
Fun fact: Besides my favourite quote from Einstein stated above, I also love the following claim by the great mathematician Gauss that, ‘Mathematics is the queen of the sciences and number-theory the queen of mathematics.’ I first read it in my number theory textbook. I was not able to taste the beauty of this sentence until I watched this wonderful video by 3 Blue 1 Brown (jump to 2:13 for a visual appreciation). Couldn’t described how fascinating it is to see that, “it all just happens” in ways beyond imagination.