Laboratories


  Artificial Intelligence Lab  

  Bioinformatics Lab  The Bioinformatics laboratory houses computational and experimental facilities for the development, implementation, and validation of biological problems. In computational facility, we are equipped with 6 nodes more than 350 core CPU clusters, and one GPU workstation. In the experimental section, we have equipment for cell culture and protein biochemistry-related work.

Coordinator: Pralay Mitra

Website for Bioinformatics Lab


  CNeRG Lab   Our research group envisions a future where the power of cutting-edge technologies and interdisciplinary collaboration is harnessed to address pressing global issues and improve the human experience. We are a dynamic research group of 7 faculty members and more than 35 PhD & MS Research students and project fellows working in various cutting-edge applications of AI/ML in Vision, NLP, IR, etc! We publish in all top journals and core A*/A conferences and our students have secured multiple fellowships, awards, and accolades through the years!

Coordinator(s) : Niloy Ganguly, Animesh Mukherjee

Website for CNeRG Lab


  Crypto Research Lab  

  Formal Verification Lab  The Formal Verification group has made significant strides in the last two decades in property verification of circuits and systems, functional verification and translation validation of programs, and hybrid system verification. Collaborative research activities in property verification have been undertaken with major industries, both national and international. Over the years, 16 PhDs have been supervised by the faculty members working in formal methods. At present, 10+ students are pursuing PhD with this research group. The current work focus can be roughly summarised as different formal aspects pertaining to the areas of Embedded Control Systems Verification, Analog Mixed Signal Circuit Verification, Translation Validation of Sequential and Parallel Programs, Specification, Modelling and Verification of Reliable Systems and Analysis of GPGPU programs. The group has several funded projects (both national and international) in the above areas.

  High Performance Real-time Computing Lab  The “High Performance Real-time Computing Lab” is physically located in CSE dept, IIT Kharagpur. The laboratory houses state-of-the-art facilities for research and project activities in the area of real-time, trust-worthy Cyber Physical Systems (CPS). Some of these facilities include testbeds for research on 1) real-time aspects of GPGPUs, 2) autonomous driving and automotive security, and 3) AI-based assured CPS. The lab hosts high-end GPU servers, compute clusters, Hardware-in-the-loop simulators for transportation, and smart-grid CPS modeling and validation. Publications from this laboratory regularly feature in top-tier venues like DAC, RTSS, EMSOFT, DATE, ICCPS, as well as ACM/IEEE transactions.

Coordinator(s): Soumyajit Dey

Website for High Performance Real-time Computing Lab


  Mobile Research Lab  The research focus of Mobile Research Lab broadly revolves around systems sensing and social networks mining. The lab works at the interface of data science and system science for solving impactful problems of practical relevance. In the systems sensing domain, the lab has made significant contributions in the area of mobile affective computing, in particular on problems related to detection of stress, depression and social isolation from smartphone & wearable (say, smartwatch) engagements. The lab also works on smart transportation, developing smartphone based assistive technology for commuters in public & private transport systems. In social network mining, we investigate various structural and dynamical behaviors of social networks (say in Twitter, Yelp, Meetup etc) using tools from data science and network science. Lab members regularly publish their research at top tier conferences and journals in the area, and the activities of the lab are generously funded by both Government funding agencies and reputed industry sponsors.

Coordinator(s): Sandip Chakraborty, Bivas Mitra

  Secure Embedded Architectures Lab  At IIT Kharagpur, the Secured Embedded Architecture Laboratory (SEAL) was established in 2008 for working on several aspects of Hardware Security and Cryptographic Engineering. The laboratory has produced several PhD students who are contributing in top positions in academia and industry in the area of Information Security. The laboratory has state-of-the-art tools in side-channel analysis, fault analysis, hardware forensics, and design of cryptographic circuits, Physically Unclonable Functions (PUFs). SEAL has also been developing research facilities for research in the domain of cyber-physical system security and automotive security. The lab extensively collaborates with several Indian and international universities and industries, performing technology transfers indicating the technology readiness of the lab's research work. The laboratory has also been producing important results on the topic of privacy-enabling techniques, like searchable encryption, and is striving to make practical realizations and applications of fully homomorphic encryptions. The works from the lab have been published in top peer-reviewed conferences and journals, and the faculty and students have brought several national and international laurels. The PI of the lab, Dr Debdeep Mukhopadhyay, was awarded the Shanti Swarup Bhatnagar prize in 2021 for his radical contributions to micro-architectural security and crypto-engineering that holistically bridges the spectrum from core mathematical foundations to practical attack scenarios.

Youtube link: https://www.youtube.com/channel/UC-343QYYo1bhSGW1JLXDANA
Name of Lab Coordinator(s): Prof Debdeep Mukhopadhyay (PI)
Co-faculty members: Prof Rajat Subhra Chakraborty, Dr Aritra Hazra, Dr Soumyajit Dey, Dr Sarani Bhattacharya

Website for Secure Embedded Architectures Lab


  Smart Wireless Applications And Networking (SWAN) Lab  SWAN is a group of researchers working with the research mentorship of Prof. Sudip Misra. The SWAN group focuses on research in smart systems enabling network technologies, specially, Ad-Hoc Networks, Sensor Networks, WiFi, WiMAX, Smart Grid Communications, Nano-communication Networks, Internet of Things, Software Defined Networks, and Big Data Networking.

Website for Smart Wireless Applications And Networking (SWAN) Lab


  Ubiquitous Networked Systems Lab (UbiNet)  The primary research focus of UbiNet is in the areas of pervasive and ubiquitous computing, communication and systems development. The lab broadly works in the intersection of computer systems, human-computer interactions and machine learning to develop assistive systems targeting various applications including smart transportation, smart homes, pervasive healthcare, and so on. The lab aims at developing application-specific full stacks ranging from the operating systems-level optimization, efficient networking, and distributed edge-based application synchronization while considering the usability, efficacy and efficiency of the system.

Coordinator(s): Sandip Chakraborty

Website for Ubiquitous Networked Systems Lab (UbiNet)


  Visual Information Processing Lab  Research and development works on various related areas involving visual information processing, machine learning, and biomedical informatics, such as computer vision, image processing, computer graphics, digital geometry, bioinformatics, medical informatics, telemedicine, etc. are being carried out in this laboratory.

Coordinator(s): Jayanta Mukhopadhyay, P.P Das, Partha Bhowmick, Pralay Mitra, Ayan Chaudhury