Marco Gaboardi

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

I am an assistant 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) group.

Teaching:

Some recent events:

Projects: