Title: Supervised and Federated Learning Approaches in EDA Tool Development
Google Silicon Research Award Grant 2024, Google
Duration: October 2024 - October 2025 (Ongoing)
Role: Principal Investigator (PI)
Co-PI: DR. Sukanta Bhattacharjee
Title: A Toolchain for Secured AI Hardware Accelerator Design
Funding Agency: ASEAN India Science and Technology Development Fund, ANRF.
Duration: April 2025 - April 2027 (Ongoing)
Role: PI
Title: Empowering Electronic Design Automation Software with Machine Learning Techniques
Google India Research Award 2024 Grant
Title: Enabling Hardware Accelerator Design from Behavioural Specifications
Funding Agency: IRP, Semiconductor Research Corporation (SRC).
Duration: December 2022 - Novemver 2025 (Ongoing)
Title: Robustness of Hardware IP Protection with Logic Locking
Qualcomm (under Qualcomm Innovation Fellowship India 2024).
Duration: August 2024 - July 2025 (Ongoing)
Role: Mentor
Student: Praveen Karmakar (PhD student)
Title: Security Analysis of Compiler Optimization Techniques
Funding Agency: CRG, Department of Science & Technology (DST), Govt. of India.
Duration: March 2020 - March 2024 (Ongoing)
Title: Quantification of Information Leakage and Security Verification of Compiler Optimizations
Funding Agency: Qualcomm (under Qualcomm Innovation Fellowship India 2022)
Recepient: Priyanka Panigrahi (PhD student)
Duration: September 2022 – August 2023 (Completed)
Role: Supervisor/Mentor
Title: Machine Learning based output prediction of RTL model for faster simulation based verification
Funding Agency: Intel (under Intel India Research Fellowship 2022)
Recepient: Dr. Surajit Das (Post-Doc student)
Role: Supervisor/Mentor (jointly with Prof. A. Sur)
Project: Qualcomm Faculty Award 2021
Unrestricted research funding from Qualcomm
Title: Formal Methods for Modeling and verification of Intrusion Detection system in wireless Networks
Funding Agency: ICPS, Department of Science & Technology (DST), Govt. of India.
Duration: October 2019 - September 2023 (Completed)
CO-PI: Prof. S. Nandi, Dr. S. Biswas
Title: Formal Verification of Optimizing Transformations of Programs and Optimizations for FPGAs
Funding Agency: Institute Start-up Research Grant, IIT Guwahati
Duration: January 2017 - Dec 2019 (Completed)
Title: Formal Verification of Optimizing Transformations of Programs
Funding Agency: ECR, Department of Science and Technology (DST), Govt. of India.
Duration: July 2017 - July 2020 (Completed)
Title: RTL to C Equivalence Checking
Funding Agency: Intel (under Intel India Research Fellowship 2020)
Recepient: Jayprakash Patidar (MTech student)
Duration: September 2020 – August 2021 (Completed)
Project: Formal Verification of Optimizing Transformations of Programs and Optimizations for FPGAs
IIT Guwahati Institute Start-up Research Grant
Project: FPGA based Lab set-up
IIT Guwahati Top-up research Grant
Duration: January 2019 - Dec 2019 (Completed)