Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
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
Research interests:Programming Languages, Differential Privacy, Logic

Contributions

PriSC 2021 Committee Member in Program Committee within the PriSC 2021-track
POPL 2021 A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis
Committee Member in Program Committee within the POPL-track
Show activities from other conferences

POPL 2021-profile
View general profile