Suguman Bansal

I am an (incoming) Assistant Professor in the School of Computing at Georgia Institute of Techology, starting in Spring 2023. 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 [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. Invited Speaker WOLVERINE 2022 | Keynote Speaker SAS 2022 | Tutorial AAAI 2023

    Selected Awards and Honors

  • 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