Registered user since Sat 14 Jan 2017
I’m a Researcher in the RiSE group at MSR Redmond. My work covers various topics including type systems, program logics, functional programming, program verification and interactive theorem proving. I often think about how to use these techniques to build provably secure programs, including web applications, web browsers, crypto protocol implementations, and low-level systems code.
|Onward! 2014||Committee Member in Program Committee within the Onward! Papers-track|
|Show activities from other conferences|
View general profile