Scholar
Nikhil Swamy
Google Scholar ID: ZvVcnGAAAAAJ
Microsoft Research
Citations & Impact
Citations
2,812
H-index
25
i10-index
44
Publications
20
Co-authors
0
Publications
Resume (English only)
Background
- Senior Principal Researcher in the RiSE group at Microsoft Research Redmond
- Research interests include type systems, program logics, functional programming, program verification, and interactive theorem proving
- Focuses on using these techniques to build provably secure programs, including web applications, web browsers, cryptographic protocol implementations, and low-level systems code
- Many current projects are connected to F*, a programming language and verification tool for higher-order, effectful programs
- Co-leads Project Everest, an initiative to build and deploy provably secure communication software
Co-authors