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.
|POPL 2016||Dependent Types and Multi-Monadic Effects in F*|
|Show activities from other conferences|
View general profile