•
Motivic Homotopy
•
Univalent Foundations
•
CV
•
Publications