PhD Student
Cheng is a Ph.D. student at Boston University studying Program Language under supervision of Professor Marco Gaboardi.
His current research focuses on algebraic/equational understandings of concepts in programming languages. In particular, He is interested in reasoning about program logics and semantics using extensions of Kleene Algebra.
He is also generally interested in application of Mathematics, especially Algebra and Logic, in Computer Science.
Publications
Mark Lemay, Qiancheng Fu, Cheng Zhang, William Blair, Hongwei Xi Gradual Correctness: a Dependently Typed Language with Dynamic Equality Submitted to Certified Programs and Proofs (CPP) 2022
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