Software engineer working on Privacy and Security, using types and static analysis to help make more reliable & trustworthy software.