Home | Michael Zhang

about · blog · cv ·

Hi there! 👋

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 current research direction is designing type systems for choreographic programming to make it easier to write correct software. I am also broadly interested in dependent type theory (HoTT/cubical), category theory, cryptography, formal methods, and CTFs.

Latest posts

Yet another blog reboot

BearcatCTF 2025 Writeups

The advent of code language

Reflections on my first type theory talk

© 2026 • Michael Zhang

Press Esc or click anywhere to close