Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
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, USA
Research interests:Programming Languages, Differential Privacy, Logic

Contributions

FSCD 2017 Type systems for the relational verification of higher order programs
ICFP 2017 A Relational Logic for Higher-Order Programs
Show activities from other conferences

ICFP 2017-profile
View general profile