Hi, I’m Nalin.
I’m a PhD student in Computer Science at the University of Illinois Urbana-Champaign.
Education and Experience
PhD in Computer Science at University of Illinois Urbana-Champaign advised by Gagandeep Singh — 2025 – Present
Research Fellow at Microsoft Research India with Dr. Sriram Rajamani, Dr. Aditya Kanade, and Dr. Nagarajan Natarajan — 2023 – 2025
B.Tech in Computer Science at Indian Institute of Technology Delhi, Undergraduate thesis with Prof. Sorav Bansal.
Research
My research focuses on building robust, verifiable and trustworthy AI systems. I am studying large language models through the lens of formal methods, and I belive we should use formal tools and symbolic techniques to understand and provide guarantees on model behavior. I am currently working towards deterministic verification and robustness of large language models. I have also worked on Machine Learning for Software Engineering (ML4SE) — including automated program repair, code generation, and LLM-based coding agents for complex software development tasks. Broadly, I’m excited about bridging formal methods, machine learning, and software engineering to create AI systems that are both powerful and trustworthy.
Publications
A full list lives on the Publications page.
BEAVER: An Efficient Deterministic LLM Verifier
Nalin Wadhwa*, Tarun Suresh*, Debangshu Banerjee, Gagandeep Singh
ICLR 2026 Oral VerifAI2 Workshop
[arXiv] [GitHub]
Code Researcher: Deep Research Agent for Large Systems Code and Commit History
Ramneet Singh, Sathvik Joel, Abhav Mehrotra, Nalin Wadhwa, Ramakrishna B Bairi, Aditya Kanade, Nagarajan Natarajan
[Project page] [arXiv]
MASAI: Modular Architecture for Software-engineering AI Agents
Nalin Wadhwa*, Atharv Sonwane*, Daman Arora*, Abhav Mehrotra, Saiteja Utpala, Ramakrishna B Bairi, Aditya Kanade, Nagarajan Natarajan
NeurIPS 2024 Workshop on Open-World Agents
[Project page] [arXiv]
CORE: Resolving Code Quality Issues Using LLMs
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram Rajamani
Proceedings of the ACM on Software Engineering, FSE 2024
[ACM] [arXiv]
Other Interests
Outside of research, I greatly enjoy reading fiction, philosophy, and everything in between. I also enjoy cooking, making electronic music, and can play almost all racket sports.
I grew up in various cities across India, but my roots are in Delhi.
Contact
The best way to reach me is by .