|
|
I am a postdoc at the School of Mathematics of University of Leeds. I am an algebraic topologist, especially interested in homotopy theory and higher category theory and their relationship to Homotopy Type Theory.
|
|
I am a postdoc at the School of Mathematics of University of Leeds. I am an algebraic topologist, especially interested in homotopy theory and higher category theory and their relationship to Homotopy Type Theory.