Zeyu Ding

My research lies in the intersection of data privacy, statistical disclosure control, formal methods and machine learning. The overarching goal of my work is to protect sensitive personal information from being leaked in unintended ways. My current research focuses on differential privacy and its interactions with formal verification, numerical optimization, privacy-preserving statistical inference and machine learning.