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

Research interests:Differential Privacy, Neural Network Verification, Formal Verification