Marco Gaboardi

Marco Gaboardi is a Professor in the Computer Science department at Boston University where he also serves as Associate Chair of Instructional Support. His research focuses on Programming Languages, Formal Methods, and Differential Privacy.

• PhD in Computer Science from the University of Torino and National Polytechnic Institute of Lorraine (2007)
• MSc in Computer Science from the University of Milano – Bicocca (2004)
• BSc in Computer Science from the University of Milano – Bicocca (2002)

Professor Gaboardi's research applies formal verification techniques to security and privacy problems, particularly using relational program logics for information flow control, cryptographic security, and differential privacy. He is a member of the Principles of Programming and Verification (POPV) group and the Boston-area Data Privacy group, and serves as Chief Scientist at DPella where he bridges theoretical research with practical applications.

• EU Marie Curie Fellowship
• NSF CAREER award

He currently advises five PhD students and has mentored numerous researchers throughout his career. His research program is supported by multiple NSF grants including the CAREER: FormalDP project on "Formally Verified, Private, Accurate and Efficient Data Analysis," the DASS project on "Co-design of law and computer science for privacy in sociotechnical software systems," and collaborations with the US Census Bureau. He teaches advanced courses in formal methods and security, recently offering CS 599 on Formal Methods in Security and Privacy using the EasyCrypt verification tool.

Professor Gaboardi maintains active collaborations across institutions, having been a Visiting Scholar at UC Berkeley, Harvard University, and the University of Pennsylvania, and continues to participate in major research initiatives including the Oregon Programming Languages Summer School and the Theory and Practice of Differential Privacy Workshop series.