Suguman Bansal

Email: suguman@gatech.edu

KACB 2136, 266 Ferst Drive

Atlanta, GA-30309

My research interests lies in Formal Methods and Logic, and their applications to Artificial Intelligence, Machine Learning, and Programming Languages. The long-term research goal is to build Trustworthy AI by simplifying the design-development-deployment pipeline of safe and reliable AI systems.

My current research thrusts include:

Formal Methods for Reinforcement Learning
Reactive Synthesis from High-Level Specifications
Symbolic Quantitative Reasoning

Previously, I was an NSF/CRA Computing Innovation Postdoctoral Fellow at the University of Pennsylvania, mentored by Rajeev Alur. I completed my Ph.D. at Rice University, advised by Moshe Y. Vardi and obtained my undergraduate degree from Chennai Mathematical Institute.

teaching

CS 8803 (LCS): Logic in Computer Science — Fall 2026 (Upcoming), Fall 2023
CS 8803 (FMR): Formal Methods in Reinforcement Learning — Fall 2025
CS 4510: Automata and Complexity — Fall 2025, Spring 2024, Spring 2023

selected awards and honors

CACM Article (Research and Advances) on Specification-Guided Reinforcement Learning
Amazon Research Award (Fall 2024 Cycle)
Best Paper Award, ATVA 2023
Invited Tutorial Speaker at 28th Joint Conference on ETAPS 2025
Keynote Speaker at 44th Conference on FSTTCS 2024
Keynote Speaker 29th Static Analysis Symposium (SAS 2022)
NSF/CRA Computing Innovation Fellow 2020
MIT EECS Rising Star (2021, 2018)

news

Jan 15, 2016	A simple inline announcement with Markdown emoji!
Nov 07, 2015	A long announcement with details
Oct 22, 2015	A simple inline announcement.

selected publications

Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?

A. Einstein^*†, B. Podolsky^*, and N. Rosen^*

Phys. Rev., New Jersey. More Information can be found here , May 1935

Abs DOI HTML PDF Video

In a complete theory there is an element corresponding to each element of reality. A sufficient condition for the reality of a physical quantity is the possibility of predicting it with certainty, without disturbing the system. In quantum mechanics in the case of two physical quantities described by non-commuting operators, the knowledge of one precludes the knowledge of the other. Then either (1) the description of reality given by the wave function in quantum mechanics is not complete or (2) these two quantities cannot have simultaneous reality. Consideration of the problem of making predictions concerning a system on the basis of measurements made on another system that had previously interacted with it leads to the result that if (1) is false then (2) is also false. One is thus led to conclude that the description of reality as given by a wave function is not complete.