ICFP/SPLASH 2025 (series) / Cheng Zhang

Registered user since Thu 8 Jul 2021
Name:Cheng Zhang
Bio:
Cheng Zhang is an assistant professor at Worcester Polytechnic Institute (WPI). Prior to join WPI, He was a postdoc research fellow at UCL Programming Principles, Logic, and Verification Group, working with Professor Alexandra Silva; he obtained his Ph.D. from Boston University, supervised by Professor Marco Gaboardi.
His works focus on (co)algebraic (dare I say it, Bialgebraic) understanding of program semantics and verification.
Country:United States
Affiliation:Worcester Polytechnic Institute
Personal website: https://czhang03.codeberg.page/
Research interests:Program Verification, Coalgebra, Algebra
Contributions
Using general profile