Suguman Bansal

I am a CRA/NSF Computing Innovation Postdoctoral Fellow in the Department of Computer and Information Sciences at the University of Pennsylvania. I work with Prof. Rajeev Alur in the PRECISE Center.

My research aims to advance Assured Autonomy by close integration of Formal Methods with Artificial Intelligence and Programming Languages. My current research thrusts include:

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

    • I completed my Ph.D under Prof. Moshe Vardi from the Department of Computer Science at Rice University. I also completed my MS in Computer Science at Rice under guidance of Prof. Swarat Chaudhuri in 2016. Prior to joining grad school, I spent my undergraduate years at Chennai Mathematical Institute, where I obtained B.Sc with Honors in Mathematics and Computer Science.

    Upcoming and Recent Talks. June 8: Hebrew University. Host: Orna Kupferman | June 10: Sapienza University of Rome. Host: Giuseppe De Giacomo | July 19: SYNT 2021 [Paper] | July: CAV 2021 [Paper]

    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