Yuhao Zhou

zhou.yuhao@northeastern.edu

About

I’m a PhD student studying computer science at Khoury College, Northeastern University, advised by Stavros Tripakis. Before joining Northeastern, I studied Electrical and Computer Engineering at Boston University, where I earned my Master of Science degree.

My research explores the intersection of formal reasoning, programming languages, and AI, investigating how these fields can strengthen each other.

Publications

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems  Yuhao Zhou, Stavros Tripakis (NASA Formal Methods 2024) [Paper] [Code] [Slides]

Towards Language Model Guided TLA+ Proof Automation
Yuhao Zhou, Stavros Tripakis (To appear at FM 2026) [Paper] [Code]

Talks

Towards Language Model Guided TLA+ Proof Automation
Upcoming talk at TLA+ Community Event 2026 [Link]

Teaching

Lectures

@Northeastern University

Teaching Assistant

@Northeastern University