Marco Gaboardi
PhD
Volunteer Adjunct Assistant Professor
Research Topics
Programming languages; type systems; verification; language-based security; differential privacy; privacy-preserving algorithms; formal approaches to privacy
Education
- PhD, Computer Science, University of Torino and National Polytechnic Institute of Lorraine, 2007
- MS, Computer Science, University of Milano-Bicocca, Italy, 2004
- BS, Computer Science, University of Milano-Bicocca, Italy, 2002