Registered user since Sat 14 Jan 2017
Name: Nikhil Swamy
Bio: 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.
Country: United States
Affiliation: Microsoft Research
Personal website: http://research.microsoft.com/en-us/people/nswamy/
Research interests: Type systems, program logics, functional programming, program verification and interactive theorem proving.
|POPL 2016||Dependent Types and Multi-Monadic Effects in F*|
|Show activities from other conferences|
View general profile