FIND PROFESSORS AND RESEARCH OPPORTUNITIES

YourScholar.ai helps discover professors by research area, explore academic profiles, and find potential collaboration opportunities for Master's, PhD, and scholarship applications.

3921_bansalweb.jpg

Suguman Bansal

Formal Methods Formal Verification For Machine Learning Program Synthesis Automated Reasoning In AI Static Program Analysis

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

Professional Links

Google Scholar
University Page

Detected Research Keywords

Comparator Automata Quantitative Automata Quantitative Verification Discounted Sum Inclusion