Homepage of Jonas Frey

I am a postdoc in the Homotopoy Type Theory research group  at Carnegie Mellon University in Pittsburgh.

Below you can find my publications and preprints, and some slides and recordings of talks. Please let me know if you find dead or incorrect links.



Notes, Preprints

Some Slides and Videos

My PhD Thesis

My Master's Thesis