Aseem Rastogi

Aseem Rastogi is a Senior Principal Researcher at Microsoft Research India, specializing in programming languages, formal verification, and software security. His work focuses on language design, type systems, and symbolic tools enhanced with Large Language Models (LLMs) to improve software reliability.

He is a core developer of F*, a verification language, and contributed to Project Everest, which builds formally verified cryptographic libraries and security-critical components. He also co-developed EverParse for secure message parsers.

• PhD in Computer Science from University of Maryland, College Park (advisor: Michael Hicks)
• MS in Computer Science from Stony Brook University (advisor: Rob Johnson)

Rastogi actively participates in academic service, including PC co-chair roles for ISEC 2024 and POPL 2024 DEI, and program committee memberships across top conferences like PLDI, CSF, and CCS. He has guest lectured at IIIT-Hyderabad and taught F* at summer schools in Pune and Aarhus.