Marco Gaboardi is an associate professor in the Computer Science department of Boston University. His research is in computer science with a focus on Programming Languages, Formal Methods and Differential Privacy. Prior to joining Boston University, Marco was an assistant professor at the University at Buffalo, SUNY, and at the University of Dundee, ?UK. He holds a PhD in Computer Science from the University of Torino and National Polytechnic Institute of Lorraine (2007) and completed his BSc (2002) and MSc (2004) in Computer Science at the University of Milano – Bicocca. He has been a recipient of a EU Marie Curie Fellowship, and of a NSF CAREER award. He has been a Visiting Scholar at the University of California, Berkeley (2019), at Harvard University (2015), and at the University of Pennsylvania (2011-2013).
Personal webpage: http://cs-people.bu.edu/gaboardi/