Research Group

Postdoctoral Researchers

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

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

Dr. Inzemamumul Haque (Ph.D. from IISc Bangalore, February 2020 -- till date)

Ph.D. Students

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)

Nikhil Kumar Singh (CSE, January 2020 -- till date)

Aakash (CSE, August 2019 -- till date)

Ratijit Mitra (CSE, January 2017 -- till date)

MS Students

Pankaj Siwan (CSE, August 2017 -- till date)

M.Tech Students

Lucky Kant Nayak (AE, August 2022 -- till date)

Chabil Kansal (CSE, August 2021 -- till date)

Abhinav Dudeja (CSE, August 2021 -- till date)

Dharambir Poddar (AE, January 2020 -- 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. 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

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

MS Students

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

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)