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]

Teaching

Lectures

@Northeastern University

• CS5800 Algorithms - Summer 2025 - “SAT Solvers”
• CS4530 Fundamentals of Software Engineering - Fall 2024 - “Code Review”

Teaching Assistant

@Northeastern University

• CS2800 Logic and Computation - Fall 2022, Spring 2023, Fall 2023, Spring 2024, Spring 2025, Fall 2025
• CS5800 Algorithms - Summer 2025
• CS4530 Fundamentals of Software Engineering - Fall 2024
• CS3500 Object-Oriented Design - Summer 2024
• CS5200 Database Management System - Summer 2023
• CS5400 Programming Languages - Summer 2022