![Nikhil Swamy](https://conf.researchr.org/getProfileImage/nikhilswamy/d7acb551-7f25-4287-b927-6323ab32575e/small.jpg?1711573123000)
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.
Contributions
POPL 2016-profile
View general profile
View general profile