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 reserach 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 [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 | Tutorial AAAI 2023 | EECS, UC Berkeley, April 2023

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

    Teaching

    CS 4510 Honors: Automata and Complexity. Spring 2023, Georgia Tech.

    Selected Awards and Honors

  • 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