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 includeAwards and Honors
News
- Verification Mentoring Workshop at CAV 2021. Six years ago VMW@CAV2015 was my gateway to the magnficient Formal Methods community. Life seems to have come a full circle. :) I am co-organizing the
- SYNT 2021 and LAMAS+SR 2021. Small and intimtae workshops are a great way to showcase work to domain experts. Do consider submitting work to these workshops! I am serving on the Program Committee of
- 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. :).