title: formal verification of differential privacy
time： 10:00, november 23 friday,2018
location: room 504, science buildingb
lecturer： marco gaboardi assistant professor, university at buffalo, suny
abstract:
differential privacy offers ways to answer statistical queries about sensitive data while providing strong provable privacy guarantees ensuring that the presence or absence of a single individual in the data has a negligible statistical effect on the query's result. in this talk i will introduce the basics of differential privacy and some of the fundamental mechanisms for building differentially private programs. i will then overview few different language-based approaches developed to help a programmer to certify her programs differentially private and to guarantee that they provide accurate answers.
biography:
marco gaboardi is an assistant professor at the university at buffalo, suny. previously, he was a faculty at the university of dundee, scotland. he received his phd from the university of torino, italy, and the institute national polytechnique de lorraine, france. he was a visitor scholar at the university of pennsylvania and at harvard’s crcs center, and recipient of a eu marie curie fellowship. his research is in programming language design and implementation, and in differential privacy.