Graduated PhD Students
| Name | Research Topic | First Job after PhD | My Role |
|---|---|---|---|
| Soumyadyuti Ghosh | CPS Security - Formal Analysis and Implementation | PostDoc - NYU Abu Dhabi | Joint Supervisor |
| Danny J. Pereira | Real time GPGPU scheduling for ML | Was already employed as faculty member at a govt college | Supervisor |
| Sumanta Dey | Artificial Intelligence for Cyber Physical Systems | (2025- )Amazon India (2024) Hitachi Research India |
Joint Supervisor |
| Srijeeta Maity |
Thermal aware scheduling on GPGPU Platforms | (2024-) Qualcom GPU group | Supervisor (Single Guidance) |
| Ipsita Kolay | Secure Control - Formal Analysis and Implementation | (2024-) GE Bangalore, postdoc in Verification/Validation ACM SIGBED 2024 Frank Anger Memorial Award recipient |
Supervisor (Single Guidance) |
| Anirban Ghose |
Tools and Algorithms for High Performance Heterogeneous System Scheduling | (2023-) Qualcomm, (2022- ) Intel India | Supervisor (Single Guidance) |
| Rajib Lochan Jana | Hierarchical Planning and Control in Computer Aided Design of Circuits and Systems | (2022 - ) Intel India Formal V group ; (2021 - ) Research Intern, TCS Research Lab |
Supervisor |
| Saurav K. Ghosh TCS PhD Fellowship |
Formal Methods for Reliability aware Embedded System Design | (2021 - ) Intel India Formal V group ; (2020 - ) Robert Bosch Engg. |
Supervisor (Single Guidance) |
| Sumana Ghosh | Scheduling techniques for Embedded Control Systems | (2022 - ) Assistant Professor, ISI Kolkata ; (2020 - ) DAAD PRIME Fellowship recipient (2 worldwide in Engg category); (2019 - ) Post Doc, TU Munich |
Joint Supervisor |
| Sudakshina Dutta | Program Translation Validation | (2019 - ) Faculty, IIT Goa | Joint Supervisor |
Current PhD Students
| Name | (Scheme, Dept) | Research Topic | My Role |
|---|---|---|---|
| Somnath Hazra | (MHRD, CSE) Mtech to PhD converted PMRF Fellow |
Artificial Intelligence for Cyber Physical Systems | Joint Supervisor |
| Sunandan Adhikary | (MHRD, CSE) PMRF Fellow |
Learning enabled Secure Cyber Physical Systems | Supervisor (Single Guidance) |
| Ashiqur R. Molla | (MHRD, CoEAI) | Intelligent Cyber Physical Systems | Supervisor |
| Arkaprava Sain | (Project, CSE) AI4CPS Chanakya fellow |
Automotive Security | Supervisor (Single Guidance) |
| Suman Maiti | (Project, CSE) AI4CPS Chanakya fellow |
Power System Security | Supervisor (Single Guidance) |
| Gulabi Mandal | (MHRD, CSE) | CPS Security | Supervisor |
| Anik Roy | (MHRD, ATDC) High value Internship at Ericsson Research |
CPS Scheduling | Joint Supervisor |
| Ishan Sahu | Working Professional, TCS Research | AI for CPS | Supervisor |
| Shreyasee Patra | (MHRD, CSE) | GPU architectures and optimizations | Supervisor (Single Guidance) |
| Jagriti Singh | (MHRD, CCDS) | GPGPU real time optimizations | Supervisor (Single Guidance) |
MS (by research) Students
| Name | Research Topic | My Role |
|---|---|---|
| Suraj Singh | AI based CPS design | Supervisor |
Graduated MS Students
| Name | Research Topic | After MS | My Role |
|---|---|---|---|
| Anjana B. | Power System Security | Thesis Submitted | Supervisor |
| Akash Bhattacharya | CPS Security | Thesis Submitted | Supervisor |
| Arnab Mondal | CAD tools for Multi-hop Cyber Physical Networks | (2022 - ) Smart Containers (Net zero IOT startup UK) | Supervisor |
| Sunandan Adhikary | Tools and Algorithms for Provable and Secure Cyber Physical Systems | (2021 - ) PhD, IIT Kharagpur | Supervisor |
| Rumia Masburah | CAD tools for Smart Microgrids | (2021 - ) Intel India Formal V group | Supervisor |
| Anirban Ghose | High Performance GPGPU Run time systems | PhD, IIT Kharagpur | Supervisor |
| Debasmita Lohar | Formal Methods for Software Reliability Analysis | PhD, MPI(SWS) | Supervisor |