Suguman Bansal
I am a 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 includeAwards and Honors
News
- TACAS 2021. This is joint work with Krishnendu Chatterjee and Moshe Y. Vardi Ending the tumultous year with some good news. Paper titled "On Satisficing of Quantitative Games" has been accepted to
- I am serving on the program committee of IJCAI 2021. Can't wait to read your best submissions to IJCAI!
- Computing Innovation Fellows 2020. Thank you Computing Research Association and the NSF for their generous support.
Official annoucement. Honored to be in the cohort of - Bidding farewell to Houston to move to Philladelphia today. Damn, this is harder than I had imagined... Philly, you better put on your best version. :).
- Highlights in Logic, Games and Automata 2020. Extended abstract on my Dissertation has been accepted to appear at
- CIS@UPenn.
Excited to start as a Postdoctoral Researcher with Prof. Rajeev Alur. Big News! Moved to