Debangshu Banerjee

Debangshu is a 4th-year PhD student in Computer Science at the University of Illinois Urbana-Champaign, advised by Prof. Gagandeep Singh. His research lies at the intersection of machine learning and formal methods, focusing on building self-evolving LLM agents with provable correctness and user-controlled safety guarantees. He is a recipient of the Bloomberg Infrastructure & Security Research PhD Fellowship (2025) for his work on verified agent synthesis with formal contracts. He completed his undergraduate studies in computer science at IIT Guwahati.