research group

Current

Vignesh Subramanian

PhD student, Aug. 23 - Present

• Thesis: Generalizable Reinforcement Learning from Logical Specifications
• Publications: ATVA 2025

Lu-Chin Chang

Masters student, Jan. 26 - Present

• Project: Model-free learning of reachability with asymptotic guarantees

Sankar Gopalkrishna

Masters student, Jan. 26 - Present

• Thesis: Formalization of RL Proofs

Krishaang Gupta

Masters student, Jan. 26 - Present

• Project: Natural Language to Formal Specification Conversion

Amogh Palasamudram

Masters student, Aug. 25 - Present

• Project: Learning reachability with asymptotic guarantees

Gaurav Mahala

Masters student, IIT Bombay (co-advised with Prof. S Akshay), July 25 - Present

• Project: Certifying Reinforcement Learning

Alumni

Ramneet Singh

Undergraduate + Masters, IIT Delhi — Apr. 23 - Apr. 24

• Next: Predoctoral Fellow, Microsoft Research India
• Publications: CAV 2025

Yash Kankariya

Undergraduate, Georgia Tech — Apr. 23 - Dec. 23

• Next: MS (with Research), Stanford University
• 🏅 Georgia Tech President’s Undergraduate Research Award (PURA), Fall 2023
• Publications: FMCAD 2024, AAAI 2024

Aryan Saboo

Undergraduate, Georgia Tech — Apr. 25 - Jan. 26

• 🏅 Georgia Tech UROP Summer Salary Support Award 2025

Kaushik Arcot

Masters, Georgia Tech — Jan. 24 - July 24

• Next: Quantitative Research Associate, JP Morgan Chase

Siddharth Meenachi Sundaram

Masters, Georgia Tech — Jan. 24 - June 24

• Next: PhD Student, Georgia Tech