Suguman Bansal
I am an Assistant Professor in the School of Computer Science at Georgia Institute of Techology. Previously, I was an NSF/CRA Computing Innovation Postdoctoral Fellow at University of Pennsylvania, mentored by Rajeev Alur. I completed Ph.D at Rice University, advised by Moshe Y. Vardi.
I lead the BansalLab at Georgia Tech. We are growing. Look here for open positions.
I am broadly interested in Formal Methods and Logic, and their applications to Artificial Intelligence, Machine Learning, and Programming Languages. The long-term research goal is to build Trustworthy AI by simplifying the design-development-deployment pipeline of safe and reliable AI systems. My current research thrusts include:
Recent and Upcoming Talks. Damera Lecture 2024 | Invited Speaker ActSynt@ECAI 2024 | Invited Speaker FSTTCS 2024
I am married to fellow computer science professor Kuldeep S. Meel.
Teaching
CoursesSelected Awards and Honors
News
- Inductive Generalization in Reinforcement Learning from Specifications has been accepted to appear at NeurIPS 2023 workshop GenPlan 2023. My PhD student Vignesh Subramanian's paper on
- here. Rice CS tells the story behind our ATVA 2023 Best Paper Award. Read the article
- Decompositions in Compositional Translation of LTLf to DFA has been accepted to AAAI 2024. My undergrad student Yash Kankariya's poster
- ATVA 2023 paper has been awarded the Best Paper Award at ATVA 2023! Our
- Lisa has secured third position in the LTLf track at SYNTCOMP 2023! Find the results here. Already looking forward to next year's competition. :) Our LTLf synthesis tool
- Specification-Guided Reinforcement Learning accepted to AAAI 2023. Tutorial on
- SAS 2022 on Specification-Guided Reinforcement Learning. Keynote talk at