Graduated PhD Students
Name | Research Topic | First Job after PhD | My Role |
---|---|---|---|
Sumanta Dey | Artificial Intelligence for Cyber Physical Systems | 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 |
---|---|---|---|
Shreyasee Patra | (MHRD, CSE) | GPU architectures and optimizations | Supervisor (Single Guidance) |
Jagriti Singh | (MHRD, CCDS) | GPGPU real time optimizations | Supervisor (Single Guidance) |
Soumyadyuti Ghosh | (Project, CSE) | CPS Security - Formal Analysis and Implementation | Joint Supervisor |
Ashiqur R. Molla | (MHRD, CoEAI) | Intelligent Cyber Physical Systems | Supervisor |
Danny J. Pereira | (QIP, CSE) | Real time GPGPU scheduling for ML | Supervisor |
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) |
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 |
MS (by research) Students
Name | Research | My Role |
---|---|---|
Anjana B. | Power System Security | Supervisor |
Akash Bhattacharya | Formal Methods for CPS | Supervisor |
Suraj Singh | Automotive Security | Supervisor |
Graduated MS Students
Name | Research Topic | After MS | My Role |
---|---|---|---|
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 |