Nikhil Swamy

Nikhil Swamy is a Senior Principal Researcher at Microsoft Research (MSR) Redmond, affiliated with the RiSE group. His work focuses on Programming Languages, Program Verification, and Security, with a strong emphasis on type systems, program logics, and building provably secure programs for web applications, browsers, cryptography, and low-level systems code.

His research involves F*, a programming language and verification tool for higher-order, effectful programs. He co-leads Project Everest, which aims to deploy provably secure communication software. His contributions span proof automation, secure multi-party computation DSLs, and separation logic frameworks.

He has authored multiple papers at top venues like POPL, PLDI, CPP, and ESOP, and has participated in organizing and mentoring roles at conferences such as ICFP and PLMW. He is actively involved in advancing formal verification techniques and their practical applications in software security.