Meet the crew!

Faculty Members

team img

Dr. Soumyajit Dey

Associate 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 targeted groups thus creating a technologically rich inter-disciplinary research environment. Much of our research goes beyond data driven computer simulation; we innovate in theory as well as actual validation on engineering testbeds.

PhD Scholars

team img

Anirban Ghose

Research Area: GPGPU Runtime Systems, Machine Learning

team img

Srijeeta Maity

Research Area: Real-time scheduling in heterogeneous embedded platform

team img

Ipsita Koley

Research Area: Secure Control, Formal Analysis

team img

Soumyadyuti Ghosh

Research Area: Security and Privacy of Smart Grid Information Flow

team img

Danny Jeron Pereira

Research Area: GPU, Parallel Computing

team img

Sunandan Adhikary

Research Area: Control Theory, CPS Security, Formal Methods, Safe RL

team img

Sumanta Dey

Research Area: Safe Reinforcement Learning

team img

Ashiqur Rahaman Molla

team img

Arkaprava Sain

team img

Suman Maiti

team img

Anik Roy

Research Area: Safe and Secure Cyber-Physical System Design

team img

Gulabi Mondal

Research Area: Safe and Secure Cyber-Physical System Design

MS Scholars

team img

Anjana B

team img

Akash Bhattacharya



team img

Suraj Singh



Research Associates

team img

Dr. Debayan Bose

Research Area: Control theory, Mathematical modeling, Real-time HIL simulation

Alumni

team img

Rumia Masburah, (MS)

Formal Verification Engineer at Intel Corporation

team img

Arnab Mondal, (MS)

Lead Software Engineer at The Smart Container Company

team img

Rajib Lochan Jana, (PhD)

team img

Sumana Ghosh, (PhD)

DAAD PRIME Fellow at TUM

team img

Saurav Ghosh, (PhD)

Security Specialist at Bosch

team img

Debasmita Lohar, (MS)

PhD Student at MPI-SWS

team img

Dr. Jaishree Mayank, (Project Staff)

team img

Jaffer Sherif, (Project Staff)

Research Area: Automotive networks, Real-time control and scheduling

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)