Registered user since Sat 14 Jan 2017

Name: Nikhil Swamy

Country: United States

Affiliation: Microsoft Research, n.n.

Personal website: https://research.microsoft.com/~nswamy

Research interests: Programming Languages, Program Verification, Security

ICFP 2017 Activities

• Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017
• Committee Member in Program Committee for ICFP 2017 Research Papers
• Session Chair of Tools for Verification (part of ICFP 2017 Research Papers)
• Author of Recalling a Witness within the HOPE 2017-track in HOPE 2017
• Show activities from other conferences