Suguman Bansal

I am a Ph.D candidate in the Department of Computer Science at Rice University. I am advised by Prof. Moshe Vardi. I also completed my MS in Computer Science at Rice under guidance of Prof. Swarat Chaudhuri in 2017. 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.

My research interests are
  • Quantitative verification and its applications
  • Reactive synthesis
  • Formal verification in Game Theory
  • Awards and Distinctions

  • Gold Medal, ACM Student Research Competition at POPL 2016, 2016
  • Andrew Ladd Graduate Fellowship, 2015 - 2016
  • CMI Undergraduate Scholarship, 2011 - 2014
  • KVPY Science Fellowship, 2008
  • News