![Cheng Zhang](https://popl22.sigplan.org/getProfileImage/chengzhang1/c17a0a7a-40ed-4938-9c0b-51401148ee9f/small.jpg?1711596962000)
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