Cheng Zhang

It's time for another round of Grad Student or Hobo

Research Interest

Type Thoery, Formal Logic, Category Thoery.

Curriculum Vitae

My CV is hosted on my GitHub:

General Info

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.

shoot me an email