Nikhil Swamy Researcher Runtime Analysis and Design Group Microsoft Research

I joined Microsoft Research in October, 2008 after having graduated with a Ph.D. from the programming languages research group, at the University of Maryland. I've been working on type systems to check security properties of code. Here's a list of my publications.

---