Yuhao Zhou

(he/him/his)

PhD Student

  • Formal methods
  • MS in Electrical and Computer Engineering, Boston University
  • BS in Electrical Engineering, Portland State University

Yuhao Zhou is a doctoral student at the Khoury College of Computer Sciences at Northeastern University, advised by Stavros Tripakis. His doctoral research, which he began in 2021 and expects to complete in 2026, focuses on formal methods, namely where it intersects with artificial intelligence systems and logic in programming. He is affiliated with the Formal Methods Group.