FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
Thu 7 Sep 2017 09:00 - 10:00 at L2 - Session 15

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.

Thu 7 Sep

Displayed time zone: Belfast change

09:00 - 10:00
Session 15FSCD 2017 at L2
09:00
60m
Talk
Type systems for the relational verification of higher order programs
FSCD 2017
A: Marco Gaboardi University at Buffalo, SUNY, USA