Research Group

Postdoctoral Researchers

Dr. Ramesh Yenda (Ph.D. from IIT Hyderabad, August 2023 -- till date)

Dr. Arvind Adimoolam (Ph.D. from Verimag, July 2020 -- till date)

Ph.D. Students

Ashish Singh (CSE, January 2025 -- till date)

Ahmad Irjoob (CSE, January 2021 -- till date, international student)

Aishwarya Gupta (CSE, July 2020 -- till date, co-advisor with Prof. Piyush Rai)

Shatroopa Saxena (CSE, January 2020 -- till date)

M.Tech Students

Khushi Agrawal (ME, May 2025 -- till date)

Shraman Das (AE, May 2025 -- till date, co-advisor with Prof. Debopam Das)

Shobhit Sharma (AE, August 2024 -- till date, co-advisor with Prof. Debopam Das)

From left to right: Danish, Ravi, Tanmoy, Indranil, Nikhil, Ratijit, Pankaj, Pratyush
Date: July 10, 2018

Graduated Students

Postdoctoral Researchers

Dr. Inzemamumul Haque (Ph.D. from IISc Bangalore, February 2020 -- December 2025)
First Position: Senior Lecturer at Krea University, India

Dr. Ayan Chakraborty (Ph.D. from IIT Kanpur, January 2019 -- June 2020)
First Position: Postdoctoral researcher at Leibniz University, Hannover, Germany

Dr. Sankar Narayan Das (Ph.D. from IIT Kharagpur, February 2016 -- March 2020)
First Position: Principal Research Associate at Accenture Labs, India

PhD Students

Nikhil Kumar Singh (CSE, January 2020 -- August 2024)
Thesis: Synthesis of Safe, Robust and Efficient Feedback Controller for Complex Dynamical Systems
Current Position: FARE Fellow at IIT Kanpur (will join MPI-SWS in Germany as a postdoctoral researcher in September 2025)

Aakash (CSE, August 2019 -- July 2024)
Thesis: Scalable Goal Assignment for Multi-Robot Systems
Current Position: FARE Fellow at IIT Kanpur

Ratijit Mitra (CSE, January 2017 -- June 2024)
Thesis: Scalable Online Multi-Robot Coverage Path Planning
First Position: Senior Research Engineer at Novus Hi-Tech

Tanmoy Kundu (CSE, January 2016 -- May 2022)
Thesis: Intelligent Battery Recharge Management for Mobile Robots
First Position: Postdoctoral Researcher at Technion, Israel

MS Students

Pankaj Siwan (CSE, August 2017 -- May 2024)
Thesis: PhantomDrive: A Privacy-Focused Navigation System for Concealing User Movements
Rohit Singh (CSE, August 2020 -- July 2023)
Thesis: An Online Planning framework for Heterogeneous Multi-Robot Systems with LTL Specification

Amit Dhyani (CSE, August 2019 -- March 2022)
Thesis: Temporal Logic Path Planning under Localization Uncertainty

Priya Purohit (CSE, August 2018 -- July 2021)
Thesis: DT*: Temporal Logic Path Planning in a Dynamic Environment

Nikhil Kumar Singh (CSE, January 2018 -- December 2019)
Thesis: Specification-Guided Automated Debugging of CPS Models

Pratyush Varshney (CSE, January 2017 -- September 2019)
Thesis: Control of a Quadrotor using Deep Neural Network

M.Tech Students

Jacob C Babu (CE, August 2023 -- May 2025, co-advisor with Prof. Bharat Lohani)
Thesis: Fine-Tuning and Post-Training Optimization of YOLO-Based Models for Edge Deployment to Detect Objects in Indian Traffic

Himanshu Karnataka (CSE, August 2023 -- May 2025, co-advisor with Prof. Urbi Chatterjee)
Thesis: Specifying the Unspecific: AI-Assisted synthesis of syntactically correct formal specification from natural language to Rocq

Lucky Kant Nayak (AE, August 2022 -- April 2024)
Thesis: Online Mapping with Global Similarity Prior

Abhinav Dudeja (CSE, August 2021 -- June 2025)
Thesis: End-to-end Autonomous Driving With Multi-Modal Rule-Based Attention

Dharambir Poddar (AE, January 2020 -- May 2024, co-advisor with Prof. Debopam Das)
Thesis: Deep Learning Based Control for Autonomous Ornithopter

Aman Aryan (CSE, August 2020 -- December 2023)
Thesis: Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery

Aakash Kumar Singh (EE, August 2019 -- July 2021)
Thesis: Multi-UAV Mapping

Prakhyat Sankeshi (CSE, August 2019 -- July 2021)
Thesis: An Efficient Encoding of Infinite LTL Goalsinto Classical Planning

Kagitha Gopi (CSE, August 2019 -- July 2021)
Thesis: Temporal Logic Path Planning with Preferential Constraints

Sivarajesh Anantharaj (CSE, August 2019 -- July 2021)
Thesis: Synthesizing Secured UAV Controller from Hyperproperties

Niravkumar Hasmukhbhai Panchal (CSE, August 2019 -- June 2021, co-advisor with Prof. Piyush Rai)
Thesis: Automake: A Framework for End-to-End Development of Deep Network Controllers for Autonomous Vehicles

Samvid Maheshbhai Mistry (CSE, August 2019 -- June 2021, co-advisor with Prof. Swarnendu Biswas)
Thesis: On Accuracy and Robustness of Quantized Neural Networks

I G Prasad (CSE, August 2018 -- July 2023)
Thesis: Path Planning using SegmentGAN

Manish Majumdar (CSE, August 2018 -- July 2020)
Thesis: Path Planning with Generative Adversarial Networks

Manan Modi (CSE, August 2017 -- June 2019)
Thesis: Integrated Task and Motion Planning for Multi-Robot Systems

Dhaval Gujatathi (CSE, August 2017 -- June 2019)
Thesis: MT*: Multi-Robot Motion Planning Algorithm with Temporal Goals

Ravi Kuril (CSE, August 2016 -- July 2018)
Thesis: SAT-Based Classical Planning for Multi-Agent Systems

Danish Khalidi (CSE, August 2016 -- July 2018)
Thesis: T* : A Heuristic Search Based Motion Planning Algorithm for Temporal Goals

Research Assistants

Dr. Vitalram Raynakula (October 2019 -- January 2020)

Shatroopa Saxena (August 2019 -- December 2019)

B.Tech Students

Visitors

Nilotpal Chakraborty, PhD Student, IIT Patna (May 25, 2019 -- May 26 2019)

Antonio Bruto Da Costa, PhD Student, IIT Kharagpur (November 22, 2018 -- December 4, 2018)

Nikolas Kekatos, PhD Student, Verimag, France (November 18, 2018 -- November 30, 2018)