Title: Enabling Hardware Accelerator Design from Behavioural Specifications
Funding Agency: IRP, Semiconductor Research Corporation (SRC).
Duration: December 2022 - Novemver 2025 (Ongoing)
Role: PI
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)
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)
Role: Principal Investigator (PI)
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)