Home > Academics > Academic Units > Departments > Computer Science and Engineering > Pallab Dasgupta
Professor
Computer Science and Engineering
Proving the correctness of safety critical systems using formal methods is one of the exciting areas in Computer Science. The Formal Verification and CAD Research Group, IIT Kharagpur is one of the leading groups in the world in this area, known for its wide range of contributions in CAD for verification of VLSI circuits, automated control systems, networks, and embedded software. The group has collaborated with many leading industries including Intel, IBM, Synopsys, Google, Motors, Indian Railways, National Semiconductors, Hindustan Aeronautics, and Semiconductor Research Corporation.
Professor Dasgupta has been named among the top 10 research contributors in Computer Science in India during the period 2002-2014 in a bibliometric study conducted by the Ministry of Science and Technology.
The words Cyber-Physical Systems and Industrial Internet of Things are buzzwords today in the EECS community. Software based embedded control is everywhere -- including home consumer electronics, power grids, handheld and wearable devices, automotive and avionics applications. CPS design requires interdisciplinary skills – control theory, electronics and design automation, and software. At IIT Kharagpur, researchers from Electrical, Electronics and Computer Science have come together to address some of the emerging research challenges in automotive control, safety critical avionic software, digital and analog integrated circuits, railway signalling and train control systems, and smart electrical grids. The formal verification and CAD research group offers an opportunity for addressing the challenges in studying such systems and proving that they are safe.
Recent focus of the research group, in addition to its traditional strengths in circuits and systems, includes automotive and avionic control systems, security of automotive electronics, railway technologies and embedded safety critical software.
GKF - Suuport for Academy of Classical and Folk Arts Guru Krupa Foundation (IIT Foundation)
Academy of Classical and Folk Arts (ACFA) Various Government and Non-Government Organisations
Specialized Training on Formal Verification Synopsys Inc.
Developing Explainable Artificial Intelligence for Connected and Autonomous Vehicles Department of Science and Technology (International Bilateral Cooperation Division)
Transportation Cyber-Physical Systems (Proposal ID:1330) Apex Committee of SPARC
Machine Learning at the Digital-Analog Boundary - A Contract Assurance Framework based on AMS Assertions Intel Corporation, Intel Labs
A Formal Coverage Management Framework for AMS Design Verification (GRC Proposal ID: P32524) Semiconductor Research Corporation
Hybrid Automata Based Methods for AMS Feature Profiling Semiconductor Research Corporation
Synopsys CAD Laboratory Project Phase II Synopsys Inc.
FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procededures for Safety - Critical ICT Systems Ministry of Human Resource Development, Department of Higher Education, Government of India
FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procededures for Safety - Critical ICT Systems at IIT Kharagpur Ministry of Railways
Formal Methods for Verification of Power Management in Mixed Signal Designs INTEL CORPORATION, USA.
RTOS Validation and Development Support Hindustan Aeronautics Limited, MCSRDC Division
Decoding and exploring ancient classification of Indian music through machine learning method and audience response MHRD
Formal equivalence and simulation relations for AMS behavioral models SEMICONDUCTOR RESEARCH CORPORATION (SRC), USA
Intel embedded innovation lablet Intel Semiconductor (US) Limited
FORMAL VERIFICATION OF POST SILICON BUG FIXES INTEL TECHNOLOGY INDIA PRIVATE LIMITED
SYNOPSYS CAD LABORATORY PROJECTS Synopsys (India) Pvt.Ltd.
FORMAL DESIGN INTENT MODELING AND VERIFICATION OF MIXED-SIGNAL BEHAVIORS SEMICONDUCTOR RESEARCH CORPORATION (SRC), USA
Socializing the Micro-Solar Dome: Empowering Marginalized Rural ST and Tribal Communities through Solar Illumination and Solar Electricity Department of Science and Technology
Socializing the Micro-Solar Dome: Empowering Marginalized Rural SC Communities through Solar Illumination and Solar Electricity Department of Science and Technology
TCG-HPL Sponsored Artificial Intelligence Research and Training at Centre of Excellence in Centre for AI at IIT Kharagpur TCG Foundation
Automating Fault Based Cryptanalysis in Secured Embedded Applications using Machine Learning Qualcomm India Pvt. Ltd.
UK India Clean Energy Research institute (UKICERI) Department of Science and Technology(DST)
Formal Methods for Physical Security Verification of Cryptographic Designs Against Fault Attacks Synopsys Inc.
Safety Assurance in Automotive Electronics Synopsys Inc.
Opened & Intelligent Plug-in Hybrid Electric Vehicle (PHEV) Technologies for Smart Indian Cities (UAY_I_IITKGP_019) Ministry of Heavy Industries and Public Enterprises, GoI
Synthesizing test programs as directed test families for incremental CPU validation INTEL TECHNOLOGY INDIA PRIVATE LIMITED
GENERAL MOTORS ECS CRL FOR EDUCATION General Motors Technical Centre India Pvt. Ltd.
Rajib Lochan Jana
Area of Research: Formal Fethods for Embedded System Design
Pradeep R
Area of Research: Music Signal Processing
Bruto Da Costa Antonio Anastasio
Area of Research: Formal Verification
Sudipa Mandal
Area of Research: Formal Verification
Bhushan Govind Naware
Area of Research: Formal Verification
Sayandeep Saha
Area of Research: Formal Methods in Cryptography
Sayandeep Sanyal
Area of Research: Formal Methods for Analog CAD
Praveen Verma
Area of Research: Smart Electrical Grids
Sumanta Dey
Area of Research: Artificial Intelligence
Briti Gangopadhyay
Area of Research: Artificial Intelligence
Sourav Das
Area of Research: Design Verification
