Suguman Bansal

Rice University, California University of Pennsylvania

Papers

Total Citations

H-Index

About

Suguman Bansal is a leading researcher in formal methods, with a focus on reactive synthesis, temporal logic, and the integration of AI and verification. Her work addresses the fundamental challenge of automatically constructing correct-by-construction systems from high-level specifications. Bansal's major contributions include pioneering methods for synthesizing coordination programs, where a single reactive program orchestrates a group of others to satisfy long-term temporal goals—a critical capability for multi-agent systems and robotics. Her research also bridges synthesis and decision-making under uncertainty, as seen in her work on combining hard LTL constraints with soft discounted sum rewards, enabling systems to both guarantee correctness and optimize performance. With papers accumulating hundreds of citations, Bansal's impact is evident in advancing the theoretical foundations and practical applicability of synthesis. Notably, her 2019 and 2022 papers, each cited over 50 times, have become key references for researchers working on temporal synthesis and satisficing goals. Bansal's work is essential reading for anyone interested in the intersection of logic, control, and AI, offering powerful tools for building reliable, intelligent systems.