Cheng Zhang -

Registered user since Thu 8 Jul 2021

Name:Cheng Zhang

Country:United States

Affiliation:Boston University

Personal website:https://cs-people.bu.edu/czhang03/

Research interests:Algebra, Program Verification

Contributions

POPL 2022	Author of On Incorrectness Logic and Kleene Algebra with Top and Tests within the POPL-track
TyDe 2020	Author of Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract) within the TyDe 2020-track