IITKGP

Responsibilities

  • Head, Centre for Computational and Data Sciences
  • Chairperson, Kshitij
  • Co-Chairperson, ERP

Research Areas

  • Real-time Cyber-Physical Systems
  • High performance computing
  • Formal Methods


 Dr. Soumyajit Dey  joined the department in 2013. He did his B.E. in Electronics and Telecommunication Engg. from Jadavpur University, Kolkata, India. He did his Masters and PhD degree in Computer Science and Engg. from IIT Kharagpur, India. 
He leads the `High Performance Real-time Computing Laboratory (HiPRC) in Computer Science and Engg. Dept, IIT Kharagpur, India. His research interests include 1) Autonomous Trustworthy Cyber Physical Systems (CPS) design, 2) Formal Methods, 3) Real time scheduling, 4) GPGPU optimizations. 

He has served as reviewer in 10 IEEE/ACM transactions and as PC member in DAC, RTSS, DATE, ICCPS, VLSI, VDAT, DSD, SPACE conferences. He has also organized special sessions on CPS in DSD 2020/21/22/23, DATE 2021. He is the winner of best design award in VLSI 2006 and has an honourable mention in VLSI 2019. He was awarded the Faculty Excellence Award in Associate Professor category by IIT Kharagpur in 2024.

  For more information, please check http://cse.iitkgp.ac.in/~soumya/
  • Multi-rate Sampling for Power-Performance Trade-off in Embedded Control by Dasgupta P., Dey S. , R. R., S. D. IEEE Embedded Systems Letters 8 77-80 (2016)
  • An Approach to Architectural Enhancement for Embedded Speech Applications by Soumyajit Dey, Susmit Biswas, Arijit Mukhopadhyay Anupam Basu International Conference on VLSI Design - (2006)
  • RELSPEC: A Framework for Reliability Aware Design of Component based Embedded Systems by Dey S., Chakrabarti P. P., Ghosh S. K., P. V., Vadlamudi S. G., A. H. Design Automation for Embedded Systems 21 37-87 (2017)
  • A Tag Machine based Performance Evaluation Method for Job-Shop Schedules by Soumyajit Dey, Dipankar Sarkar, Anupam Basu IEEE Transaction CAD 29(7) 1028-1041 (2010)
  • Architectural Optimizations for Text to Speech Synthesis in Embedded Systems by Soumyajit Dey, Monu Kedia, Anupam ASP-DAC - (2007)
  • Adaptive Sharing of Sampling Rates among Software Based Controllers by Rajorshee Raha, Soumyajit Dey, Pallab Dasgupta IEEE Multi - Conference on System and Control (MSC) - (2015)
  • Integrating Formal Methods with Testing for Reliability Estimation of Component Based Systems by Debasmita Lohar, Soumyajit Dey International Symposium on Software Reliability Engineering (ISSRE), Industry Track - (2015)
  • RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications by Saurav Kumar Ghosh, Aritra Hazra and Soumyajit Dey IEEE International Conference on VLSI Design - (2015)
  • An Approach to Software Performance Evaluation on Customized Embedded Processors by Soumyajit Dey, Monu Kedia, Anupam Basu International Conference on VLSI Design - (2008)
  • Embedded Support Vector Machine: Architectural Enhancements and Evaluation by Soumyajit Dey, Monu Kedia, Niket Agarwal, Anupam Basu International Conference on VLSI Design - (2007)

Principal Investigator

  • An AI-enabled Framework for Responsibility Allocation in Road Accident Scenarios IIT Bhilai Innovation and Technology Foundation (IBITF)
  • RL based Beamforming for JCAS Safe Causal and Verifiable ERICSSON INDIA PRIVATE LIMITED
  • Towards Secure and Resilient Collaborative Autonomous Driving CoAD Department of Science and Technology (International Cooperation Division),INDIAN INSTITUTE OF TECHNOLOGY JODHPUR

Co-Principal Investigator

  • Development of Secured Hardware and Automotive Systems IHUB NTIHAC Foundation,Department of Science and Technology (DST)
  • Nodal Center in HPC and AI at IIT Kharagpur under National Supercomputing Mission (NSM) Centre for Development of Advanced Computing

Ph. D. Students

Adriz Chanda

Area of Research: Safe AI for CPS

Akash Bhattacharya

Area of Research: Intelligent Cyber Physical Systems

Anik Roy

Area of Research: Rsource Allocation in 5G Networks

Arkaprava Sain

Area of Research: Automotive Security

Ashiqur Rahaman Molla

Area of Research:

Gulabi Mandal

Area of Research: Safe and Secure Cyber Physical System Design

Ishan Sahu

Area of Research: Learning Enabled Cyber Physical Systems

Jagriti Singh

Area of Research: GPU optimizations for Real time Systems

Somnath Hazra

Area of Research: Artificial Intelligence

Suman Maiti

Area of Research: Security of Cyber Physical Systems

Sunandan Adhikary

Area of Research: Formal Methods for Cyber Physical Systems

MS Students

Akash Debnath

Area of Research: Trustworthy and Intelligent CPS

Anjana B

Area of Research: Security of Cyber Physical Systems

Bibaswata Guha

Area of Research: Safe AI for Real time

Debnath Pramanik

Area of Research: AI guided HPC Cluster scheduling

Sayan Banerjee

Area of Research: Trustworthy and Intelligent CPS