Cheng Zhang

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

Research Interest

Type Thoery, Formal Logic, Category Thoery.

General Info

I am a Ph.D. student at Boston University studying Type Thoery and Formal Logic under supervision of Professor Marco Gaboardi.

I am interested in both Mathematics and Computer Science, especially in Logic, Type Thoery, Category Thoery. Currently I am focusing on linear logic, multirole logic, and the categorical semantics for these logics.

Curriculum Vitae

My CV is hosted on my GitHub:


  • Signal: My prefered IM is signal. Unfortunately signal needs me to share my phone number, so contact me via email or telegram first.
  • Telegram: @mWn458jxLGiLM
  • Email: I believe you can figure out my email address.