I am a Ph.D. student at Boston University studying Type Thoery and Formal Logic under supervision of Professor Hongwei Xi. I am interested in both Mathematics and Computer Science, especially in Logic, Type Thoery, Category Thoery and Homotopy Type Thoery.
My non-academic life consists of the following parts:
- Memes: I love memes, especially those releated to my field. This page and this page are my favorites.
- Food: I am serious about food and cooking, especially Szechuan cusine. This means, I love to write very sarcastic comments on google map. I learned that from Sir Gordon Ramsey.
- Minecraft: I don't play it very often, but I watch lots of Minecraft videos, including hermitcraft, Minecraft summercamp, and Minecraft Evo. Yes, grown ups can like Minecraft. I have checked. It is okay.
- Anime: I don't watch them as much as I used to. My favorite anime is Puella Magi Madoka Magica. All hail the warrior of love (愛の戦士): Gen Urobuchi.