Nikhil Swamy - POPL 2017 (original) (raw)

Name:Nikhil Swamy

Country:United States

Affiliation:Microsoft Research

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

Research interests:Programming Languages, Program Verification, Security