Cheng Zhang

Photo of me enjoying some Wendy's spicy chicken nuggets
Photo of me enjoying some Wendy's spicy chicken nuggets, and I like them (not sponsored)

Research Interest

I am interested in applying mathematical techniques in Algebra and Logic to practical problems in Program Semantics, Program Logics, and Verification.

General Info

I am a Ph.D. candidate at Boston University working with Professor Marco Gaboardi.

My current research focuses on algebraic/equational understandings of program logic and semantics. In particular, I am currently interested in modelling program logics and semantics using extensions of Kleene Algebra. I am also generally interested in Mathematics, Computer Science, and their intersections.

In my spare time I love reading and writing poetry (mostly in Chinese). I keep a simple blog of some poetries and lyrics I translated and wrote.

Curriculum Vitae

My CV is hosted on my GitHub:

Publications and Preprints

Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi On Incorrectness Logic and Kleene Algebra With Top and Tests Principle Of Programming Language (POPL) 2022
Mark Lemay, Cheng Zhang, William Blair Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract) The workshop on Type-Driven Development (TyDe) 2020
Cheng Zhang Kings in Generalized Tournaments Wheaton College Honor Thesis
Cheng Zhang, Weiqi Feng, Emma Steffens, Alvaro de Landaluce, Scott Kleinman, Mark D. LeBlanc Lexos 2017: Building Reliable Software in Python Conference for Computing in Small Colleges, UNH-Manchester

Contact

  • Email: czhang03 AT bu DOT edu
  • 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: @czhang03@mathstodon.xyz

Teaching

  • 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.