Hello, I’m Zijie Zhou, currently living in Boston. I am applying for a PhD, with research interests in Type Theory, Category Theory, Functional Programming Languages, and Homotopy Type Theory (HoTT). I also enjoy phenomenology and existentialism, and I like reading the works of Husserl, Heidegger, and Merleau-Ponty.
Favorite novelists: Haruki Murakami, Albert Camus, Leo Tolstoy
Favorite sports: Karate, Hiking
Tel
(U.S) +1 7038269289
(中国) +86 18930851256