Ph.D. Torino (I) - Nancy (F)
I am an assistant professor in the Computer Science department
at Boston University. My research is in computer science with
a focus on Programming Languages, Formal Methods and
Differential Privacy.
I am a member of the Principles of Programming and Verification (POPV) group.