COVID-19 UPDATES • 1/15/2021
Programming languages; type systems; verification; language-based security; differential privacy; privacy-preserving algorithms; formal approaches to privacy
gaboardi@bu.edu