Chandan Karfa

Projects

  • 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

    • Role: PI

  • Title: Enabling Hardware Accelerator Design from Behavioural Specifications

    • Funding Agency: IRP, Semiconductor Research Corporation (SRC).

    • Duration: December 2022 - Novemver 2025 (Ongoing)

    • Role: PI

  • 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)

    • Role: PI

  • 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)

    • Duration: September 2022 – August 2023 (Completed)

    • 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)

    • Role: PI

    • 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)

    • Role: PI

  • 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)

    • Role: Supervisor/Mentor

  • Project: Formal Verification of Optimizing Transformations of Programs and Optimizations for FPGAs

    • IIT Guwahati Institute Start-up Research Grant

    • Duration: January 2017 - Dec 2019 (Completed)

    • Role: PI

  • Project: FPGA based Lab set-up

    • IIT Guwahati Top-up research Grant

    • Duration: January 2019 - Dec 2019 (Completed)

    • Role: PI