conf.researchr.org / 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