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
  • Development of scalable techniques for quantitative verification [CAV19, CAV18b, FoSSaCS18]
  • Automated generation of reactive systems from high-level specifications. (a). Under asynchrony [POPL20, CAV18a], (b) From temporal logics [AAAI20].

  • 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