Nikhil Swamy
Scholar

Nikhil Swamy

Google Scholar ID: ZvVcnGAAAAAJ
Microsoft Research
Computer Science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,812
 
H-index
25
 
i10-index
44
 
Publications
20
 
Co-authors
0
 
Contact
Emailnswamy@microsoft.comTwitterOpen ↗
Publications
2 items
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
2025
Cited
0
DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
arXiv.org · 2024
Cited
0
Resume
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