Suguman Bansal

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

I completed my Ph.D from the Department of Computer Science at Rice University. I was advised by Prof. Moshe Vardi. 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.

I am broadly interested in Formal methods and Logic and their applications in Artificial intelligence and Programming languages.

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

  • Upcoming and Recent Talks. March 8: Simons Institute | March 15: Formal Methods Seminar, Ben Gurion University | March 29: TACAS 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