research group

**Vignesh Subramanian**
*PhD student, Aug. 2023 – Present*
Generalizable Reinforcement Learning from Logical Specifications

**Amogh Palasamudram**
*Masters student, Aug. 2025 – Present*
Learning reachability with asymptotic guarantees

**Lu-Chin Chang**
*Masters student, Jan. 2026 – Present*
Model-free learning of reachability with asymptotic guarantees

**Sankar Gopalkrishna**
*Masters student, Jan. 2026 – Present*
Formalization of RL Proofs

**Krishaang Gupta**
*Masters student, Jan. 2026 – Present*
Natural Language to Formal Specification Conversion

**Gaurav Mahala**
*Masters student, IIT Bombay (co-advised with [Prof. S Akshay](https://www.cse.iitb.ac.in/~akshayss/)), July 2025 – Present*
Certifying Reinforcement Learning

**Ramneet Singh**
*Undergraduate + Masters, IIT Delhi — Apr. 2023 – Apr. 2024*
Next: Predoctoral Fellow, Microsoft Research India

**Yash Kankariya**
*Undergraduate, Georgia Tech — Apr. 2023 – Dec. 2023*
Next: MS (with Research), Stanford University
🏅 Georgia Tech PURA Award, Fall 2023

**Kaushik Arcot**
*Masters, Georgia Tech — Jan. 2024 – July 2024*
Next: Quantitative Research Associate, JP Morgan Chase

**Siddharth Meenachi Sundaram**
*Masters, Georgia Tech — Jan. 2024 – June 2024*
Next: PhD Student, Georgia Tech

**Aryan Saboo**
*Undergraduate, Georgia Tech — Apr. 2025 – Jan. 2026*
🏅 Georgia Tech UROP Summer Salary Support Award 2025