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-profile
View general profile
View general profile