Marco Gaboardi is an Associate 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.
Wed 4 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 4 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
17:15 - 18:30 | |||
17:15 15mOther | Remembering Alan Jeffrey ICFP Papers and Events | ||
17:30 5mAwards | ICFP 2014 Most Influential Paper Award ICFP Papers and Events Marco Gaboardi Boston University | ||
17:35 5mAwards | Recognition of Distinguished Papers ICFP Papers and Events Brigitte Pientka McGill University | ||
17:40 5mTalk | SRC Awards ICFP Papers and Events | ||
17:45 10mOther | The functioning of ICFP ICFP Papers and Events Sam Lindley University of Edinburgh File Attached | ||
17:55 5mTalk | Diversity, equality, and inclusion at ICFP ICFP Papers and Events Alejandro Russo Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, Sweden | ||
18:00 10mOther | General Chair report ICFP Papers and Events Marco Gaboardi Boston University | ||
18:10 15mOther | PC Chair's report ICFP Papers and Events Brigitte Pientka McGill University | ||
18:25 5mOther | ICFP 2025 announcement ICFP Papers and Events Ilya Sergey National University of Singapore | ||
