Research Topics

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