Scholar
Marco Gaboardi
Google Scholar ID: 5b8D1MgAAAAJ
Boston University
Citations & Impact
Citations
3,873
H-index
35
i10-index
58
Publications
20
Co-authors
10
list available
Publications
Resume (English only)
Academic Achievements
- Principal investigator or collaborator on numerous funded projects from NSF, EPSRC, EU, etc., including:
- - SaTC: CORE: Small: Mechanized Cryptographic Reasoning in Separation Logic
- - DASS: Co-design of law and computer science for privacy in sociotechnical software systems
- - CAREER: FormalDP: Formally Verified, Private, Accurate and Efficient Data Analysis
- - Programming Tools for Adaptive Data Analysis
- - Computing over Distributed Sensitive Data
- - PrivInfer: Programming Languages for Differential Privacy: Conditioning and Inference
- - Privacy Tools for Sharing Research Data
- - Putting Differential Privacy to Work
- Organized or participated in academic events such as ACM ICFP 2024, LICS 2023, TPDP workshop series, Boston Differential Privacy Summer School, etc.
- Supervised numerous PhD students and postdocs, several co-advised
Research Experience
- Professor, Boston University (2025–present)
- Associate Professor, Boston University (2021–2025)
- Assistant Professor, Boston University (2019–2021)
- Assistant Professor, University at Buffalo (2016–2019)
- Visiting Scholar, Simons Institute @ Berkeley (2019)
- Visiting Scholar, Harvard CRCS (2015)
- Lecturer and Fellow, University of Dundee (2013–2015)
- Marie Curie Fellow, University of Bologna and University of Pennsylvania (2011–2013)
- Postdoctoral researcher at Torino, Bologna, and Paris 13 (2008–2011)
