Marco Gaboardi

PhD

Marco Gaboardi.

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

Biography Publications Teaching Research

Research Areas