PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Nikhil Swamy

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
Research interests:Type systems, program logics, functional programming, program verification and interactive theorem proving.

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile