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. Would love to chat about opportunities!

My research lies at the intersection of formal methods and artificial intelligence. 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, Invited]
  • Automata-Based Quantitative Reasoning [TACAS21, CAV19, CAV18b, FoSSaCS18]
  • Reactive Synthesis from High-Level Specifications [CAV21, POPL20, AAAI20, CAV18a]
  • Upcoming and Recent Talks. July 20: CAV 2021 [Paper] | September 15: Highlights of Logics, Games, and Automata (Talk Video) | September 20: Continuity, Computability, Constructivity: From Logic to Algorithms | October 5: IARCS Verification Seminar | December 6-14: NeurIPS 2021 [Paper]

    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