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 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:
I have open positions for interns, graduate students (PhDs and Masters) and postdocs.
Please Apply To GaTech and get in touch if you are interested in
(a) Theory and applications of Formal Methods,
(b) (Deep) Reinforcement Learning, and/or
(c) Automata and Logical Methods.
Check out our Reseach Statement. Please send me your CV, if interested.
Recent and Upcoming Talks. Keynote Speaker SAS 2022 | EECS, UC Berkeley, April 2023 | PLSE Seminar, NUS, May 2023 | ATVA 2023, Oct 2023 | CSIP GaTech, Oct 2023
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