Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
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

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

ML 2016Author of Extracting from F* to C: a progress report within the ML-track
Committee Member in Program Committee within the ML-track
ICFP 2016Committee Member in External Review Committee within the Research Papers-track
Show activities from other conferences

ICFP 2016-profile
View general profile