3921_bansalweb.jpg

Suguman Bansal

Formal Methods Formal Verification For Machine Learning Program Synthesis Automated Reasoning In AI Static Program Analysis
Georgia Institute of Technology College of Computing

About

Suguman Bansal is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology. Her research is focused on formal methods and their applications to artificial intelligence, programming languages, and machine learning. Previously, she was an NSF/CRA Computing Innovation Postdoctoral Fellow at the University of Pennsylvania, mentored by Prof. Rajeev Alur and completed her Ph.D. at Rice University advised by Prof. Moshe Y. Vardi. She is the recipient of the 2020 NSF CI Fellowship, has been named a 2021 MIT EECS Rising Star, and was a keynote speaker at the 29th Static Analysis Symposium (SAS) 2022.

Research Performance Summary

25
Total Papers
433
Total Citations
11
H-Index
2016-2025
Active Research Span

First Recorded Paper

Algorithmic analysis of Regular repeated games

Year: 2016

Citations: 2

Venue: Rice University

Latest Recorded Paper

Certification-Guided Evaluation of Reinforcement Learning Generalization

Year: 2025

Citations: 0

Venue: N/A

Last 10 Years Publication Activity

This timeline shows the professor's yearly publication activity.

2025
3
2024
2
2023
2
2022
6
2021
3
2020
3
2019
1
2018
4
2016
1

Publication Venues and Collaboration

Journal, Conference, and Book Publication Breakdown

Conference 17
Journal 0
Book 2

Top Coauthors

Bansal Vardi Chaudhuri

Research Impact by Period

2025-2026

Period Stats
Papers 3
Citations 2
Avg. Citations / Paper 0.7
H-Index 1

2020-2024

Period Stats
Papers 16
Citations 390
Avg. Citations / Paper 24.4
H-Index 10

2015-2019

Period Stats
Papers 6
Citations 41
Avg. Citations / Paper 6.8
H-Index 3

Contact and Professional Links

Contact Information

suguman@gatech.edu

Detected Research Keywords

Comparator Automata Quantitative Automata Quantitative Verification Discounted Sum Inclusion