I am a Software Engineer at Meta in the Data Infrastructure Privacy team in Boston. I work on principled approaches to building privacy-aware infrastructure. My research focuses on language-based solutions to problems in information security. I received a Ph.D. and Master's degree from Harvard under the guidance of Stephen Chong and a Bachelor's degree from Cornell.
Information-flow control, software contracts, formal methods