Michael Zhang
I’m a first-year PhD student (since Fall 2025) at the Programming Research Lab at Northeastern University’s Khoury College, advised by Josh Gancher. My research interests are in programming languages and formal verification.
I'm in the process of redoing my website. Check back later!