Sat 26 - Thu 31 October 2013 Indianapolis, United States
Nikhil Swamy

Registered user since Sat 14 Jan 2017

Name: Nikhil Swamy

Country: United States

Affiliation: Microsoft Research

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

Research interests: Programming Languages, Program Verification, Security


SPLASH 2013Author of TS*: Gradual Typing Embedded Securely in JavaScript within the Keynotes-track
Show activities from other conferences

SPLASH 2013-profile
View general profile