Meet the crew!

Faculty Members

team img

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

Click photo to view research area

Somnath Hazra

Research Area:
Safe and Multi-Agent Reinforcement Learning
Ashiqur Rahaman Molla

Click photo to view research area

Ashiqur Rahaman Molla

Research Area:
Real-Time Scheduling & Control Co-Design
Sunandan Adhikary

Click photo to view research area

Sunandan Adhikary

Research Area:
CPS Security & Control, Formal Methods, Safe RL
Arkaprava Sain

Click photo to view research area

Arkaprava Sain

Research Area:
Real-Time Systems, CPS Security, Control Theory
Suman Maiti

Click photo to view research area

Suman Maiti

Research Area:
Learning & Formal Methods for Power System Security
Anik Roy

Click photo to view research area

Anik Roy

Research Area:
Exploring Causal and Safe AI Methods for Beamforming in Integrated Communication and Sensing Environments, CAD Frameworks for Efficient and Secure Connected Mobility
Gulabi Mondal

Click photo to view research area

Gulabi Mondal

Research Area:
Safe and Secure Cyber-Physical System Design
Ishan Sahu

Click photo to view research area

Ishan Sahu

Research Area:
Adversarial Robustness Strategies for CPS
Jagriti Singh

Click photo to view research area

Jagriti Singh

Research Area:
GPU Optimization for Real-Time Systems
Akash Bhattacharya

Click photo to view research area

Akash Bhattacharya

Research Area:
CPS Security & Intelligent CPS Design
Adriz Chanda

Click photo to view research area

Adriz Chanda

Research Area:
Safe & Responsible AI for Cyber-Physical Systems

MS Scholars

Anjana B

Click photo to view research area

Anjana B

Research Area/Project:
Power Systems Security and Smart Grid Vulnerability Analysis
Bibaswata Guha

Click photo to view research area

Bibaswata Guha

Research Area/Project:
RL-based beamforming using JCAS: Safe, Causal and Verifiable
Akash Debnath

Click photo to view research area

Akash Debnath

Research Area/Project:
Towards Secure and Resilient Collaborative Autonomous Driving — CoAD
Sayan Banerjee

Click photo to view research area

Sayan Banerjee

Research Area/Project:
Towards Secure and Resilient Collaborative Autonomous Driving — CoAD

Postdoctoral Researcher

Dr. Sushree Padhan

Click photo to view research area

Dr. Sushree Padhan

Research Area:
Information Security and Cyber-Physical Systems security, focusing on analyzing, detecting and mitigating attacks.

Alumni

Ipsita Koley

Click photo to view details

Ipsita Koley, (PhD)

Current Position:
Postdoctoral researcher in Verification and Validation, GE Bangalore.
Rumia Masburah

Click photo to view details

Rumia Masburah, (MS)

Current Position:
Formal Verification Engineer at Intel Corporation.
Arnab Mondal

Click photo to view details

Arnab Mondal, (MS)

Current Position:
Lead Software Engineer at The Smart Container Company.
Rajib Lochan Jana

Click photo to view details

Rajib Lochan Jana, (PhD)

Current Position:
Formal Verification Engineer at Intel Corporation.
Sumana Ghosh

Click photo to view details

Sumana Ghosh, (PhD)

Current Position:
DAAD PRIME Fellow at TUM.
Saurav Ghosh

Click photo to view details

Saurav Ghosh, (PhD)

Current Position:
Security Specialist at Bosch.
Debasmita Lohar

Click photo to view details

Debasmita Lohar, (MS)

Current Position:
PhD Student at MPI-SWS.
Suraj Singh

Click photo to view research area

Suraj Singh, (MS)

Research Area:
Safe AI in Robotics.
Anirban Ghose

Click photo to view details

Anirban Ghose, (PhD)

Current Position:
Senior Lead Engineer at Qualcomm.
Srijeeta Maity

Click photo to view details

Srijeeta Maity, (PhD)

Current Position:
Senior Lead Engineer at Qualcomm.
Danny Jeron Pereira

Click photo to view details

Danny Jeron Pereira, (PhD)

Current Position:
Assistant Professor at GCOEARA, Pune.
Sumanta Dey

Click photo to view details

Sumanta Dey, (PhD)

Current Position:
Applied Scientist at Amazon.
Soumyadyuti Ghosh

Click photo to view details

Soumyadyuti Ghosh, (PhD)

Current Position:
Postdoctoral Researcher at NYU Abu Dhabi.

Previous Members

team img

Varuni Buereddy

Control and Imitation learning

team img

Jaffer Sherif

Senior Software Engg. at Nokia

team img

Dr. Debayan Bose

Engineer at Caterpiller-inc

team img

Dr. Jaishree Mayank

Asst. Professor in IIT (ISM) Dhanbad

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)
  • Dr. Supratik Chakraborty (IIT Bombay)
  • Dr. Samarjit Chakraborty (UNC Chapel Hill)
  • Dr. Daniel Müller-Gritschneder (TU Munich)
  • Dr. Dip Goswami (TU Eindhoven)
  • Dr. Qi Zhu (Northwestern University)
  • Dr. Sangyoung Park (TU Berlin)
  • Dr. Manuel Mazo Jr. (TU Delft)
  • Dr. Majid Zamani (University of Colorado Boulder)