Nikhil Swamy

Nikhil Swamy is a Senior Principal Researcher in the RiSE group at Microsoft Research Redmond. His work focuses on type systems, program logics, functional programming, program verification, and interactive theorem proving, with applications to building provably secure programs such as web applications, browsers, crypto protocol implementations, and low-level systems code.

He is closely associated with F*, a programming language and verification tool for higher-order, effectful programs, and co-leads Project Everest, an initiative to develop secure communication software using F*.

• Research Areas:
• Type Systems
• Program Logics
• Functional Programming
• Secure Software Engineering