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

Research interests:Program Verification, Coalgebra, Algebra