Suguman Bansal

I am an Assistant Professor in the School of Computer Science at Georgia Institute of Techology. Previously, I was an NSF/CRA Computing Innovation Postdoctoral Fellow at University of Pennsylvania, mentored by Rajeev Alur. I completed Ph.D at Rice University, advised by Moshe Y. Vardi.

I am broadly interested 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 [CAV22, NeurIPS21, Invited]
  • Symbolic Quantitative Reasoning [IJCAI23, AAAI22, TACAS21, CAV19, CAV18b, FoSSaCS18]
  • Reactive Synthesis from High-Level Specifications [ATVA23, CAV21, POPL20, AAAI20, CAV18a]
  • I have open positions for interns, graduate students (PhDs and Masters) and postdocs.
    Please Apply To GaTech and get in touch if you are interested in
    (a) Theory and applications of Formal Methods,
    (b) (Deep) Reinforcement Learning, and/or
    (c) Automata and Logical Methods.
    Check out our Reseach Statement. Please send me your CV, if interested.

    Recent and Upcoming Talks. Keynote Speaker SAS 2022 | EECS, UC Berkeley, April 2023 | PLSE Seminar, NUS, May 2023 | ATVA 2023, Oct 2023 | CSIP GaTech, Oct 2023

    I am married to fellow computer science professor Kuldeep S. Meel.


  • CS 8803: Logic in Computer Science. Fall 2023, Georgia Tech
  • CS 4510: Automata and Complexity. Spring 2024, Spring 2023, Georgia Tech
  • Tutorials
  • AAAI 2023: Specification-Guided Reinforcement Learning [Description] [Link]
  • Selected Awards and Honors

  • Best Paper Award at ATVA 2023 (Paper)
  • Keynote Speaker at the 29th Static Analysis Symposium (SAS 2022)
  • NSF/CRA Computing Innovation Fellow 2020 accompanied with a USD ~250K grant
  • MIT EECS Rising Star (2021, 2018)
  • Future Faculty Fellow 2019, Rice School of Engineering
  • Among 10 Ph.D students worldwide invited to Microsoft Research Faculty Summit 2016
  • Gold Medal, ACM Student Research Competition at POPL 2016
  • Andrew Ladd Graduate Fellowship 2015 - 2016
  • News