About
Aseem Rastogi is a Senior Principal Researcher at Microsoft Research India specializing in programming languages, type systems, program verification, and software security. He is a core designer and developer of F*, a language for program verification, and has made significant contributions to Project Everest, which builds verified secure communications components including cryptographic libraries and parsers.
Dr. Rastogi earned his PhD from the University of Maryland, College Park under Michael Hicks and completed his M.S. at Stony Brook University with Rob Johnson. His research spans formal methods, programming language theory, and practical security applications, with recent work focusing on integrating Large Language Models with formal verification techniques.
His publication record demonstrates expertise across multiple domains including concurrent separation logic, secure multi-party computation, and verified systems programming. Recent work shows a clear trend toward applying LLMs to traditional verification challenges, with publications on memory safety, Rust compilation error fixing, and loop invariant generation.
Dr. Rastogi has served on numerous conference program committees including as PC co-chair for ISEC 2024 and Diversity, Equity, and Inclusion co-chair for POPL 2024. He has organized workshops such as VeriCrypt and taught F* at multiple summer schools, demonstrating strong commitment to academic community building.
As part of Project Everest, he collaborates across Microsoft Research labs to develop verified security-critical components. His work on EverParse has hardened attack surfaces through formally proven parsers, while CrypTFlow enables secure medical image analysis through privacy-preserving machine learning techniques.
