Chandan Karfa

Projects

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

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

  • 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