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.
|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