Nalin Wadhwa

I am a PhD student at the University of Illinois Urbana-Champaign, working with Prof. Gagandeep Singh.

I was previously a Research Fellow at Microsoft Research India, where I worked with Dr. Sriram Rajamani, Dr. Aditya Kanade, and Dr. Nagarajan Natarajan. I received my Bachelor of Technology in Computer Science and Engineering from IIT Delhi in 2023, where I worked with Prof. Sorav Bansal on my undergraduate thesis.

My research focuses on building robust and verifiable large language models (LLMs). I am particularly interested in formal verification methods for LLMs, developing techniques to provide insights on model behavior. 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. I am interested in bridging formal methods, machine learning, and software engineering to create AI systems that are both powerful and trustworthy.

Email  /  CV  /  Scholar  /  Twitter  /  Github

Publications

Work Experience

Website adapted from Jon Barron's website