Suguman Bansal

Registered user since Wed 23 Dec 2015

Name:Suguman Bansal

Suguman Bansal is an incoming Assistant Professor in the School of Computing at Georgia Institute of Technology, starting in January 2023. 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 and has been named a 2021 MIT EECS Rising Star.

Country:United States
Affiliation:Georgia Institute of Technology, USA
Personal website:
Research interests:Formal methods, Artificial intelligence


NASA Formal Methods Committee Member in Program Committee within the NFM 2023-track
SAS 2022 Invited Speaker in Invited Speakers
Author of Logical Reasoning in Reinforcement Learning: A Boon or Bane? within the SAS-track
POPL 2020 Author of Synthesis of Coordination Programs from Linear Temporal Specifications within the Research Papers-track
Off the Beaten Track 2016 Author of Chanakya: Computer-Aided Strategic Reasoning within the Off the Beaten Track-track