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.
|ML 2016|| Extracting from F* to C: a progress report|
Committee Member in Program Committee within the ML-track
|ICFP 2016||Committee Member in External Review Committee within the Research Papers-track|
|Show activities from other conferences|
View general profile