Marco Gaboardi (Preferred)
Marco Gaboardi
Full Professor, Computer Science, Boston University, Boston University
Joined
July 2019
Names
Emails
****@bu.edu (Confirmed)
Personal Links
Career & Education History
Full Professor
Computer Science, Boston University, Boston University (bu.edu)
2025 – Present
Associate Professor
Computer Science, Boston University, Boston University (bu.edu)
2021 – 2025
Assistant Professor
Computer Science, Boston University (bu.edu)
2019 – 2021
Assistant Professor
Computer Science and Engineering, State University of New York, Buffalo (buffalo.edu)
2016 – 2019
Assistant Professor
School of Computing, University of Dundee (dundee.ac.uk)
2013 – 2016
Advisors, Relations & Conflicts
Expertise
differential privacy
2011 – Present
probabilistic programming
2011 – Present
programming languages
2004 – Present
formal verification
2004 – Present
Publications
Co-Authors
- Aaron Bembenek
- Aaron Roth
- Adam D. Smith
- Adam Smith
- Alejandro Aguirre
- Alejandro Russo
- Aleksandra B. Slavkovic
- Ales Bizjak
- Alexandra Wood
- Alley Stoughton
- Aloïs Brunel
- Amal Ahmed
- Amy Rathore
- Andreas Haeberlen
- Andy Gordon
- Arjun Narayan
- Arthur Azevedo de Amorim
- Audra McMillan
- Benjamin C. Pierce
- Benjamin Grégoire
- Borja Balle
- Carlos Tomé Cortiñas
- Carol Chen
- Cheng Zhang
- Chenglin Fan