I am a Ph.D. candidate in the Department of Computer Science and Engineering at the Pennsylvania State University. I work with Prof. Daniel Kifer and Prof. Danfeng Zhang. My current research focuses on differential privacy and its interactions with software security, formal verification, statistical inference and numerical optimization.
Before I joined Penn State, I recieved my Ph.D. in Mathematics from SUNY Binghamton, where I was advised by Prof. Adrian Vasiu and worked in the field of algebraic number theory. I also recieved a M.S. in Computer Science from SUNY Binghamton, working in Graphics and Image Computing Laboratory under the supervision of Prof. Lijun Yin. I earned my B.S. in Mathematics from Chu Kochen Honors College, Zhejiang University.
I changed my name from Ding Ding to Zeyu Ding in 2018.