Yuhao Zhou

zhou.yuhao(at)northeastern.edu
Khoury College of Computer Sciences, Northeastern University, Boston, MA

I am a Ph.D. student at Khoury College of Computer Sciences, Northeastern University, where I am advised by Professor Stavros Tripakis. My research interest lies in the intersection of Formal Methods, AI Systems, and logic in programming.