Nikhil Swamy, PhD, is a Principal Researcher at Microsoft Research in Redmond, working broadly in the area of programming languages and computer security. He leads the design and implementation of the F* programming language and co-leads Project Everest.