BansalLab
[Publications] [Tutorial] [Group Members] [Open Positions]
BansalLab is located at the School of Computer Science at Georgia Institute of Technology.
We work on building Trustworthy AI by simplifying the design-development-deployment pipeline of safe and reliable AI systems.
We apply Formal Methods and Logic to Artificial Intelligence, Machine Learning, and Programming Languages.
Our current research thrusts include:
Group Members
FacultyPhD Students
Masters and Undergraduate Students
Alumni
Open Positions
We are growing. We are looking for highly motivated graduate students (PhD and Masters), postdocs, and exceptional undergraduate students. We work at the intersection of theory and algorithmic design; therefore, an ideal candidate should have deeper expertise in one area and willingness to learn the other. A strong background in algorithms/formal methods, statistics, and prior experience in coding is crucial to make a significant contribution to our research.
We are growing. Please get in touch and send me your CV, if interested in these topics:
(a) Theory and practice of Formal Methods in Reinforcement Learning (RL),
(b) Automata and Logical Methods.
Additional Instructions for Prospective Group Members:
1. Phd and Masters: Apply To GaTech by December 15.
2. Georgia Tech Masters and Undergraduates: Must be willing to commit at least one full semester of work. Preferably, you should have taken at least one course with me. Otherwise, you should read and summarize at least one of my paper.
3. Posdocs: One postdoc position at the intersection of logic and RL. Let us chat.
Recent Group News
- Inductive Generalization in Reinforcement Learning from Specifications will appear at NeurIPS 2023 workshop GenPlan 2023. Vignesh's paper on
- Decompositions in Compositional Translation of LTLf to DFA will appear at AAAI 2024. Yash's poster on
- ATVA 2023 paper has been awarded the Best Paper Award at ATVA 2023! Our
- Presidential Undergraduate Research Award (PURA). Yash has been awarded Georgia Tech's
- Lisa has secured third position in the LTLf track at SYNTCOMP 2023! Find the results here. Our LTLf synthesis tool
- Specification-Guided Reinforcement Learning at AAAI 2023. We presented a tutorial on