Marco Gaboardi
Ph.D. Torino (I) - Nancy (F)
I am an assistant professor in the Computer Science department
at Boston University. My research is in computer science with
a focus on Programming Languages, Formal Methods and
Differential Privacy.
I am a member of the Principles of Programming and Verification (POPV) group.
Teaching:
- CS 591 - Spring 2021 - Formal Methods in Security and Privacy
- CS 320 - Fall 2020 - Concepts of Programming Languages
- CS 591 - Spring 2020 - Formal Methods in Security and Privacy
- CS 320 - Fall 2019 - Concepts of Programming Languages - piazza
- Previous teaching at the University at Buffalo and the University of Dundee
Some events:
Projects:
- Towards an End-to-End Approach to Formal Privacy for Sample Surveys (US Census CA)
- CAREER: FormalDP: Formally Verified, Private, Accurate and Efficient Data Analysis (NSF)
- SHF: Small: Collaborative Research: Programming Tools for Adaptive Data Analysis (NSF)
- TWC: Large: Collaborative: Computing over Distributed Sensitive Data (NSF)
- PrivInfer - Programming Languages for Differential Privacy: Conditioning and Inference (EPSRC)
- Privacy Tools for Sharing Research Data (NSF)- Visiting Scholar
- Platform: Practical Light Types for Resource Consumption (EU)
- Putting Differential Privacy to Work (NSF) - Visiting Scholar
- INRIA ARC: Eternal
- INRIA EA: Cristal, Semacode
- CNRS Pics: Logique Lineaire et Application
