Carnegie Mellon University

Jonas Frey

Jonas Frey

Postdoctoral Fellow, Homotopy Type Theory Project and Special Faculty

  • Baker Hall 148
Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio