Home > Academics > Academic Units > Faculty of Engineering and Architecture (FoE&A) > 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, under Dr Dasgupta is one of the most vibrant 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, Texas Instruments, IBM, Synopsys, Google, Motors, Indian Railways, National Semiconductors, Hindustan Aeronautics, Qualcomm, and Semiconductor Research Corporation. The Synopsys CAD Labs
Dr Dasgupta works with EE, ECE, and CS students 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. He leads the FMSAFE centre for Formal Methods and the Synopsys CAD Labs.
The wide penetration of AI and ML technologies in safety critical systems has recently influenced the focus of this research group, with new vistas on combining domain knowledge with machine learning, and formal / semi-formal approached for verification of ML based safety critical systems.
AI Assisted Autonomous Verification Technologies for SoCs INTEL TECHNOLOGY INDIA PRIVATE LIMITED
Formal Methods for Verification of Power Management in Mixed Signal Designs INTEL CORPORATION, USA.
FORMAL VERIFICATION OF POST SILICON BUG FIXES INTEL TECHNOLOGY INDIA PRIVATE LIMITED
FORMAL DESIGN INTENT MODELING AND VERIFICATION OF MIXED-SIGNAL BEHAVIORS SEMICONDUCTOR RESEARCH CORPORATION (SRC), USA
Formal equivalence and simulation relations for AMS behavioral models SEMICONDUCTOR RESEARCH CORPORATION (SRC), USA
RTOS Validation and Development Support Hindustan Aeronautics Limited, MCSRDC Division
SYNOPSYS CAD LABORATORY PROJECTS Synopsys (India) Pvt.Ltd.
Academy of Classical and Folk Arts (ACFA) Various Government and Non-Government Organisations
Specialized Training on Formal Verification for Synopsys Synopsys Inc.
Machine Learning at the Digital-Analog Boundary - A Contract Assurance Framework based on AMS Assertions Intel Corporation, Intel Labs
Synopsys CAD Laboratory Phase III Synopsys Inc.
Scalable Formal Property Verification Leveraging Property Grouping and Ordering Synopsys Inc.
The Qualcomm Faculty Award (QFA) 2021 Qualcomm Technologies, INC.
Synopsys CAD Laboratory Project Phase II Synopsys Inc.
Specialized Training on Formal Verification Synopsys Inc.
Transportation Cyber-Physical Systems (Proposal ID:1330) Apex Committee of SPARC
GKF - Support for Academy of Classical and Folk Arts Guru Krupa Foundation (IIT Foundation)
Advisory in Automated and Verifiable Transformation of Artificial Intelligence Algorithms for Embedded Devices TATA CONSULTANCY SERVICES LIMITED
Intel embedded innovation lablet Intel Semiconductor (US) Limited
GENERAL MOTORS ECS CRL FOR EDUCATION General Motors Technical Centre India Pvt. Ltd.
Synthesizing test programs as directed test families for incremental CPU validation INTEL TECHNOLOGY INDIA PRIVATE LIMITED
Safety Assurance in Automotive Electronics Synopsys Inc.
Formal Methods for Physical Security Verification of Cryptographic Designs Against Fault Attacks Synopsys Inc.
Verification of Hall - OS Security Features Hindustan Aeronautics Limited
Bhushan Govind Naware
Area of Research: Formal Verification
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
Swarnava Dey
Area of Research: AI and Deep Neural Networks
Somnath Hazra
Area of Research: Artificial Intelligence
Dipayan Dewan
Area of Research: Neuro information science, Music cognition, Emotion analytics
Kaushik Dey
Area of Research: Reinforcement Learning
