CV Publications Exact couples in cubical type theory 8/29/25 · Michael Zhang ProQuest Talks 2026/03/10 NEU Software Day. Stream choreographies for distributed systems 2024/10/19 GRaDS. Formalizing mathematics with cubical type theory Service 2026 OOPSLA Artifact Evaluation Committee.