Archive / INF Seminars / INF_2023_05_16_Marco_Gaboardi
USI - Email
 
 
Università
della
Svizzera
italiana
INF
 
 
 
  
 main_banner
 

Programming and verification frameworks for differential privacy

 
 
 

Host: Prof. Patrick Eugster

 

Tuesday

16.05

USI Campus EST, sector D, room D0.02
13:15 - 14:15
  
 

Marco Gaboardi
Boston University
Abstract:
Differential Privacy is a formal notion of data privacy that has found application in the public and private sectors. It 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 first introduce the basics of differential privacy, some of the fundamental mechanisms for building differentially private programs, and some applications that use differential privacy. I will then overview a few language-based approaches developed to help programmers to guarantee their differentially private programs.

Biography:
Marco Gaboardi is an Associate Professor in Computer Science at Boston University. Before joining Boston University, he has been on the faculty at the University at Buffalo, SUNY, and at the University of Dundee, UK. Marco received his PhD from the University of Torino, Italy, and the Institute National Polytechnique de Lorraine, France. He has been a visiting scholar at the University of Pennsylvania, at Harvard University’s CRCS center, and at the Simons Institute for the Theory of Computing, UC Berkeley. He is a recipient of an EU Marie Curie Fellowship, an NSF Career Award, a Caspar Bowden Award for Outstanding Research in Privacy Enhancing Technologies and a Google Research Award. Marco's research is in programming languages, formal verification, and in differential privacy.