Marco Gaboardi

Registered user since Tue 19 Jan 2016

Name: Marco Gaboardi

Bio: Marco Gaboardi is an assistant professor at Boston University. Prior to joining Boston University he was an assistant professor at the University at Buffalo, SUNY, and prior to that he was an assistant professor at the University of Dundee, Scotland. 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 at UC Berkeley. He is a recipient of the NSF CAREER award and of a EU Marie Curie Fellowship. Marco’s research is in programming languages, formal verification, and in differential privacy.

Country: United States

Affiliation: Boston University

Personal website:

Research interests: Programming Languages, Differential Privacy, Logic


POPL 2021Committee Member in Program Committee within the Research Papers-track
PLMW 2020Invited Speaker in Invited speakers within the PLMW 2020-track
Author of Research as a collaborative effort within the PLMW 2020-track
PLDI 2019Author of Bidirectional Type Checking for Relational Properties within the PLDI Research Papers-track
POPL 2019Workshops Co-Chair in Organizing Committee
Author of Formal Verification of Higher-Order Probabilistic Programs within the Research Papers-track
Committee Member in Tutorials Evaluation Committee within the TutorialFest-track
ICFP 2019Author of Relational Cost Analysis for Functional-Imperative Programs within the Research Papers-track
PPS 2018Author of Probabilistic Programming for Robotics within the PPS 2018-track
FSCD 2017Author of Type systems for the relational verification of higher order programs within the FSCD 2017-track
ICFP 2018Committee Member in Program Committee within the Research Papers-track
ICFP 2017Author of A Relational Logic for Higher-Order Programs within the Research Papers-track
POPL 2018Organizing Chair in Organizers within the TutorialFest-track
Committee Member in Selection Committee within the Workshops-track
Author of Monadic refinements for relational cost analysis within the Research Papers-track
Associated Events Chair in Organizing Committee
Off the Beaten Track 2017Author of Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach within the OBT-track
POPL 2017Author of A Semantic Account of Metric Preservation within the POPL-track
Author of Relational Cost Analysis within the POPL-track
Session Chair of Probabilistic Programming (part of POPL)
Committee Member in Program Committee within the POPL-track
ICFP 2016Author of Combining Effects and Coeffects via Grading within the Research Papers-track