Marco Gaboardi

PhD

Marco Gaboardi

PhD

Research Topics

Programming languages; type systems; verification; language-based security; differential privacy; privacy-preserving algorithms; formal approaches to privacy

Contact Information

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

Loading...

Loading...

Loading...