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 multiple open positions for graduate students (PhDs and Masters) and postdocs. Check out our Reseach Statement. Please send me your CV, if interested.

    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