Programming Languages, Type Systems, Verification, Language-Based Security, Differential Privacy, Privacy-Preserving Algorithms, Formal Approaches to Privacy
PhD Computer Science, University of Torino and National Polytechnic Institute of Lorraine, 2007