Marco Gaboardi

Ph.D. Torino (I) - Nancy (F)

I am an Associate Professor in the Computer Science department at Boston University. My research is in computer science with a focus on Programming Languages, Formal Methods and Differential Privacy.

I am a member of the Principles of Programming and Verification (POPV) and of the Boston-area Data Privacy groups.

In Fall 2022 I am on sabbatical visiting Chalmers University, Sweden.

Teaching:

Some events:

Students and Postdocs:

Projects:

Marco G. Gaboardi

Contacts:

Boston University
Department of Computer Science
111 Cummington Mall, Room 116
Boston, MA 02215, USA

e-mail: gaboardi@bu.edu
phone: +1 671-353-3971

Education and Employment:

  • Associate Professor - Boston Univ. (2021-now)
  • Assistant Professor - Boston Univ. (2019-2021)
  • Assistant Professor - Buffalo (2016-2019)
  • Visiting Scholar - Simons@Berkeley (2019)
  • Visiting Scholar - Harvard CRCS (2015)
  • Lecturer and Fellow - Dundee (2013-2015)
  • Marie Curie - Bologna, UPenn (2011-2013)
  • Postdoc - Torino, Bologna, Paris 13 (2008-11)
  • Ph.D. Comp. Science - Torino, Nancy (2007)
  • MSc Comp. Science - Milano Bicocca (2004)
  • BSc Comp. Science - Milano Bicocca (2002)