SPLASH 2023 (series) / Ye Zheng

Registered user since Wed 24 Aug 2022
Name:Ye Zheng
Bio:
I am currently a PhD student in Computer Science at Rochester Institute of Technology (RIT), advised by Dr. Yidan Hu. Now I focus mainly on data privacy. Specifically, my research topic is differential privacy.
Before that, I got Master degree from Shenzhen University in 2023, majored in neural network verification and advised by Dr. Jiaxiang Liu; and got Bachelor degree from Henan University in 2020, majored in Mathematics.
Country:China
Affiliation:Shenzhen University
Personal website: https://zhengyeah.com
GitHub: https://github.com/ZhengYeah
Research interests:Differential Privacy, Neural Network Verification, Formal Verification
Contributions
2023
Static Analysis Symposium
Using general profile