[Publications] [Tutorial] [Group Members] [Visitors] [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:

  • Formal Methods for Reinforcement Learning [ICML24, AAAI23Tutorial, SAS22Keynote, CAV22, NeurIPS21, Henzinger60]
  • Symbolic Quantitative Reasoning [IJCAI23, AAAI22, TACAS21, CAV19, CAV18b, FoSSaCS18]
  • Reactive Synthesis from High-Level Specifications [ATVA23 (Best Paper), CAV21, POPL20, AAAI20, CAV18a]
  • Group Members

  • Suguman Bansal

  • PhD Students
  • Vignesh Subramanian

  • Masters and Undergraduate Students
  • Kaushik Arcot (MS)
  • Sahaj Purohit (BS)
  • Ramneet Singh (IIT Delhi) (MS/BS)
  • Siddharth Meenachi Sundaram (MS)

  • Alumni
  • Yash Kankariya (BS) [Stanford University (Masters)]
  • Research Visitors