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
I am married to fellow computer science professor Kuldeep S. Meel.
Teaching
CoursesSelected Awards and Honors
News
- IJCAI 2023 paper featured by Rice CS here! Article on our
- On Strategies In Synthesis Over Finite Traces has been accepted to ATVA 2023! Paper titied
- 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
- Scalable Analysis of Probabilistic Models and Programs. Kudos to the organizers for putting together such an inspiring program! Participating in the Dagstuhl Seminar on
- Specification-Guided Reinforcement Learning accepted to AAAI 2023. Tutorial on