Dr. Soumyajit Dey Professor, CSE Dept
(
Homepage
)
We work in close collaboration with
Formal Methods Research Laboratory
and
Secured Embedded Architecture Laboratory
.
Due to the highly intertwined research objectives,
many of our students are shared among these groups,
creating a technologically rich interdisciplinary
research environment. Much of our research goes
beyond computer simulation; we innovate in theory
as well as validation on engineering testbeds.
PhD Scholars
Somnath Hazra
Research Area: Safe and Multi-Agent Reinforcement Learning
Ashiqur Rahaman Molla
Research Area: Real-Time Scheduling & Control Co-Design
Sunandan Adhikary
Research Area:
CPS Security & Control, Formal Methods, Safe RL
Arkaprava Sain
Research Area: Real-Time Systems, CPS Security, Control Theory
Suman Maiti
Research Area: Learning & Formal Methods for Power System Security
Anik Roy
Research Area:
Safe and Secure Cyber-Physical System Design
Gulabi Mondal
Research Area:
Safe and Secure Cyber-Physical System Design
Ishan Sahu
Research Area: Adversarial Robustness Strategies for CPS
Jagriti Singh
Research Area: GPU Optimization for Real-Time-System
Akash Bhattacharya
Research Area: CPS Security & Intelliigent CPS Design
Adriz Chanda
Research Area: Safe & Responsible AI for Cyber Physical Systems
MS Scholars
Anjana B
Research Area/Project: Power Systems Security and Smart Grid Vulnerability Analysis
Bibaswata Guha
Research Area/Project: RL based beamforming using JCAS Safe Causal and Verifiable
Akash Debnath
Research Area/Project: Towards Secure and Resilient Collaborative Autonomous Driving CoAD
Sayan Banerjee
Research Area/Project: Towards Secure and Resilient Collaborative Autonomous Driving CoAD
Postdoctoral Researcher
Dr. Sushree Padhan
Research Area: Information Security and cyber-physical systems (CPS) security, focusing on analyzing, detecting, and mitigating attacks
Dr. Debayan Bose
Engineer at Caterpiller-inc. Research Area: Control theory, Mathematical modeling, Real-time Hardware in Loop (HIL) simulation
Dr. Jaishree Mayank
Asst. Professor in IIT (ISM) Dhanbad Research Area: Real-time Scheduling in CPS, AI Techniques for scheduling and system performance
Alumni
Ipsita Koley, (PhD)
GE Bangalore, postdoc in Verification/Validation
Rumia Masburah, (MS)
Formal Verification Engineer at Intel Corporation
Arnab Mondal, (MS)
Lead Software Engg. at The Smart Container Company
Rajib Lochan Jana, (PhD)
Formal Verification Engineer at Intel Corporation
Sumana Ghosh, (PhD)
DAAD PRIME Fellow at TUM
Saurav Ghosh, (PhD)
Security Specialist at Bosch
Debasmita Lohar, (MS)
PhD Student at MPI-SWS
Suraj Singh, (MS)
Research Area: Safe AI in robotics
Anirban Ghose, (PhD)
Senior Lead Engg. at Qualcomm
Srijeeta Maity, (PhD)
Senior Lead Engg. at Qualcomm
Danny Jeron Pereira, (PhD)
Asst. Professor at GCOEARA, Pune
Sumanta Dey, (PhD)
Applied Scientist at Amazon
Soumyadyuti Ghosh, (PhD)
Post Doc at NYU, Abu Dhabi
Previous Members
Varuni Buereddy
Control and Imitation learning
Jaffer Sherif
Senior Software Engg. at Nokia
Collaborators
Dr. Debdeep Mukhopadhyay, Dr. Aritra Hazra, Dr. Pallab Dasgupta, Dr. Pabitra Mitra (CSE, IITKGP)
Dr. Ashish Hota, Dr. Siddhartha Mukhopadhyay, Dr. Alok Deb (EE, IITKGP)
Dr. Arijit Mondal (CoE-AI, IITKGP)), Dr. Arnab Sarkar (ATDC, IIT KGP)
Dr. Swarnendu Biswas, Dr. Mainack Choudhury, Dr. Sandeep Shukla (IIT Kanpur)
