Carnegie Mellon University

Jonas Frey

Postdoctoral Fellow, Homotopy Type Theory Project and Special Faculty

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