Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal
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: http://www.buffalo.edu/~gaboardi

Research interests: Programming Languages, Differential Privacy, Logic

Contributions

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
Show activities from other conferences

Using general profile