Suguman Bansal

I am a third year graduate student in the Department of Computer Science at Rice Unviersity. I am advised by Prof. Swarat Chaudhuri and Prof. Moshe Vardi. 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 in
  • Formal verification in Game Theory
  • Quantitative verification
  • Automated strategic reasoning
  • Awards and Distinctions

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