Suguman Bansal
Atlanta, Georgia, United States
Summary
👤
Senior🎓
Top SchoolSuguman Bansal is a tenure-track Assistant Professor of Computer Science at Georgia Tech with a decade of experience bridging formal methods and trustworthy AI. Trained at Rice University under Prof. Moshe Vardi, his research focuses on quantitative verification, reactive synthesis, and applying formal methods to game theory and trustworthy reinforcement learning. He was an NSF/CRA Computing Innovation Postdoctoral Fellow at Penn and gained industry research experience through internships at Nokia Bell Labs. Suguman combines deep theoretical foundations with practical evaluation, pursuing formal assurances for AI systems rather than purely empirical fixes. Based in Atlanta, he maintains an academic homepage showcasing tools and publications that translate verification techniques into deployable algorithms. His trajectory reflects a steady shift from foundational verification toward making AI systems verifiably reliable in interactive and decision-making settings.
10 years of coding experience
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Rice UniversityBachelor of Science (B.Sc.) Honours, Mathematics and Computer Science, Bachelor of Science (B.Sc.) Honours, Mathematics and Computer Science at Chennai Mathematical Institute
English, Hindi, Bengali
Github Skills (14)
science10
ranking10
react9
computer-science9
sequencer5
synthesis5
boolean2
cas2
hybrid2
boolean-algebra1
state-space1
math1
algebra1
dfa1
Programming languages (2)
Github contributions (5)
suguman/suguman.github.io
Jul 2020 - Aug 2024
Contributions:481 pushes, 1 branch in 4 years 1 month
suguman/QIP
Nov 2017 - Aug 2019
Contributions:42 pushes, 1 branch in 1 year 9 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.