Programming Languages graduate student at University of Maryland, College Park. Currently working on language-based privacy.