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 Vardi at Rice University.

My research goal is to advance Assured Autonomy using formal methods and programming languages to design-develop-deploy safe AI systems. My current research thrusts include:

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

    • Upcoming and Recent Talks. July 19: SYNT 2021 [Paper] | 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

    Awards and Honors

  • CRA/NSF Computing Innovation Fellow, 2020
  • Future Faculty Fellow 2019, Rice School of Engineering, 2019
  • 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