Suguman Bansal

I am a CRA/NSF Computing Innovation Postdoctoral Fellow with Prof. Rajeev Alur at the Department of Computer and Information Sciences at University of Pennsylvania. I completed my Ph.D under Prof. Moshe Y. Vardi at Rice University.

I am on the Academic Faculty Job Market.
Application Materials: [Research Statement] [Teaching Statement] [Diversity Statement] [Resume]

My research vision is to make AI trustworthy by close integration of formal methods and programming languages with artificial intelligence and machine learning. Towards trustworthy computing, my research has focused on simplifying the design-development-deployment pipeline of safe and reliable AI systems. I have worked on automated controller synthesis, i.e., the automated generation of control systems from a given high-level specification with theoretical guarantees of correctness. My current research thrusts include:

  • Formal Methods for Reinforcement Learning [NeurIPS21, SafeRL21, Invited]
  • Automata-Based Quantitative Reasoning [AAAI22, TACAS21, CAV19, CAV18b, FoSSaCS18]
  • Reactive Synthesis from High-Level Specifications [CAV21, POPL20, AAAI20, CAV18a]

    • Upcoming Colloquiums. CISPA | ETH Zurich | IST Austria | MPI-SWS | Penn State | Rutgers | Simon Fraser | UIC | Waterloo | Yale

    Awards and Honors

  • MIT EECS Rising Star, 2021
  • CRA/NSF Computing Innovation Fellow, 2020
  • Future Faculty Fellow 2019, Rice School of Engineering, 2019
  • MIT EECS Rising Star, 2018
  • Invited to Simons Institute for program on Real-time decision making, Spring 2018
  • Invited to the 1st Google Student Research Summit 2017, September 2017
  • Invited to Dagsthul Seminar on Game Theory, AI, Logic and Algorithms, March 2017
  • One of the 10 graduate students invited to Microsoft Research Faculty Summit 2016, July 2016
  • Gold Medal, ACM Student Research Competition at POPL 2016, 2016
  • Andrew Ladd Graduate Fellowship, 2015 - 2016
  • CMI Undergraduate Scholarship, 2011 - 2014

    • News