![Cheng Zhang](https://icfp23.sigplan.org/getProfileImage/chengzhang1/0ecd8210-d666-421b-b127-5908a9b3432f/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
ICFP 2023-profile
View general profile
View general profile