Cheng Zhang

Photo of me enjoying some Wendy's spicy chicken nuggets
Photo of me enjoying some Wendy's spicy chicken nuggets (not sponsored)

Research Info

I am a final year Ph.D. student at Boston University POPV Group working with Professor Marco Gaboardi. I am currently looking for PostDoc position starting around Fall 2024.

In general, I am interested in applying abstract mathematical techniques in Algebra and Logic to practical problems in Program Semantics and Verification. I generally enjoy Mathematics, Computer Science, and their intersections.

Specifically, I am interested in using algebraic technique to develop general, reusable, and modular program verification techniques, and exploring their specific use cases in the real world.

I am the organizer of BU POPV Seminar, and category theory reading group. I have previously organized a Coq reading group. Please contact me if you are interested giving a talk at any of these events.

Curriculum Vitae

My CV is hosted on my GitHub:


I enjoy cooking, food, coffee, gardening with my wife, and hang out with my pet rabbits. I sometimes read about coffee and old Chinese poetry; I kept a tiny blog of some poetries and lyrics I translated and wrote. These translations are generally terrible, but I am trying to get better.


  • Email:
  • Signal: Signal Group Link. Just request to join this group, then I will add you to my contact. Unfortunately, Signal do not send notification for group requests, so expect (very long) delay if you use this method.
  • Mastodon:


  • 2020 Fall, CS 230: Principle of Programming Language, with Professor Marco Gaboardi and Lecture Abbas Attarwala
  • 2020 Summer, CS 111: Introduction to Computer Science 1, with Lecture John Magee
  • 2020 Summer, CS 112: Introduction to Computer Science 2, with Lecturer Christine Papadakis-Kanaris
  • 2020 Spring, CS 235: Algebraic Algorithm, with Professor Leonid Levin
  • 2019 Fall, CS 132: Geometric Algorithm, with Lecture Abbas Attarwala
  • 2019 Spring, CS 230: Principle of Programming Language, with Professor Wayne Snyder

Other Info

My first name (Cheng) is pronounced as:

My last name (Zhang) as is pronounced as:

My pronoun is he/him or gender-neutral they/them. But I personally will not be offended if mis-gendered or have my name mis-pronounced.