Marco Gaboardi

A programming-languages researcher who builds formal methods and type systems for verifying differential privacy, producing mechanized proofs that data analyses protect individual records while staying accurate. He mentors PhD students and postdoctoral researchers and teaches courses on formal methods in security and privacy.