معرفی
Suguman Bansal is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology since January 2023. Her research focuses on applying Formal Methods and Logic to ensure the safety and reliability of AI systems, particularly in Artificial Intelligence, Machine Learning, and Programming Languages. Previously, she held an NSF/CRA Computing Innovation Postdoctoral Fellowship at the University of Pennsylvania under Prof. Rajeev Alur and earned her Ph.D. at Rice University advised by Prof. Moshe Y. Vardi.
Her work addresses the theoretical and algorithmic foundations of Formal Methods for Reinforcement Learning, Reactive Synthesis, and Symbolic Quantitative Reasoning. Recent publications highlight advancements in compositional LTLf synthesis, PAC learning with formal guarantees, and quantitative game theory. Her research has been presented at top venues like ICML, NeurIPS, CAV, and POPL.
- Best Paper Award at ATVA 2023
- NSF/CRA Computing Innovation Fellow (2020)
- MIT EECS Rising Star (2021, 2018)
- Gold Medal, ACM Student Research Competition at POPL 2016
She advises BansalLab, which explores intersections of Formal Methods and AI, mentoring students like Vignesh Subramanian (Ph.D.), Ramneet Singh (Master’s), and Yash Kankariya (undergraduate). Her teaching includes courses on Logic in Computer Science and Automata and Complexity.
