ESEC/FSE 2022 (series) / Ye Zheng
![Ye Zheng](https://2022.esec-fse.org/getProfileImage/yezheng/87b69696-1dbe-4d15-bdbc-cc373ca2b26b/small.jpg?1712728429000)
Registered user since Wed 24 Aug 2022
Name:Ye Zheng
Country:China
Affiliation:Shenzhen University, Shenzhen, China
GitHub: https://github.com/ZhengYeah
Research interests:Neural Network Verification, Formal Verification, Constraints Solving
Contributions
ESEC/FSE 2022-profile
View general profile
View general profile