Marco Gaboardi

Registered user since Tue 19 Jan 2016

Name: Marco Gaboardi

Bio: Marco Gaboardi is an assistant professor in the Department of Computer Science and Engineering at the University at Buffalo, SUNY. Previously, he was a faculty at the University of Dundee, Scotland. He received his PhD from the University of Torino, Italy, and the Institute National Polytechnique de Lorraine, France. He was a visitor scholar at the University of Pennsylvania and at Harvard’s CRCS center. He has been the recipient of a EU Marie Curie Fellowship. His research is in programming languages, differential privacy, and logic.

Country: United States

Affiliation: University at Buffalo, SUNY

Personal website:

Research interests: Programming Languages, Differential Privacy, Logic


PLMW 2020Committee Member in Confirmed speakers (so far) 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