Michael Zhang

CV

Publications

Exact couples in cubical type theory
8/29/25 · Michael Zhang
ProQuest

Talks

  • 2026/06/16 PLDI 2026 CP Workshop. Towards stream choreographies for consensus
  • 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.