Vidwan-ID : 128272



  • Dr Chandan Karfa

  • Assistant Professor
  • Indian Institute of Technology, Guwahati
Publications 2006 - 2024

Publications

  • 21
    Journal Articles
  • 42
    Conference
    Proceedings
  • 4
    Projects
  • 3
  • 2
  • 58

Citations / H-Index

378 Citations
9 h-index
374 Citations

Google Scholar

Co-author Network


Expertise

Computer Science Information Systems

Formal Verification, Electronic Design Automation, High-level Synthesis, Hardware Security, Embedded System Verification, Verification of Compiler Optimizations.

Personal Information

Dr Chandan Karfa

Male
H002, Dept. Of Computer Sc And Engg Iit Guwahati
Guwahati, Assam, India - 781039


Experience

  • Assistant Professor

    Department of Computer Science and Engineering

    Indian Institute of Technology, Guwahati


Qualification

  • Ph.D


Honours and Awards

2021

Qualcomm Faculty Award 2021

Qualcomm

2020

IEEE Senior member

IEEE

2013

TechInventor Award 2013

India Electronics and Semiconductor Association (IESA).

Read More
2021

Qualcomm Faculty Award 2021

Qualcomm

2020

IEEE Senior member

IEEE

2013

TechInventor Award 2013

India Electronics and Semiconductor Association (IESA).

2013

Innovative Student Projects Award 2013 (Doctoral Level)

Indian National Academy of Engineering (INAE)

2013

Best Paper Award

5th IBM Collaborative Academia Research Exchange (I-CARE 2013)

2008

Innovative Student Projects Award 2008 (Master Level)

Indian National Academy of Engineering (INAE)

2008

Microsoft Research India PhD Fellowship

Microsoft

2007

Student Best Paper Award

15th IEEE International Conference on Advanced Computing and Communications (ADCOM 2007)

1st Prize in EDA Software Contest

22nd international conference on VLSI design and embedded systems, 2011

Read Less

Doctoral Theses Guided

2020

Formal Verification and Security Analysis of High-level Synthesis

Dr. Ramanuj Chouksey, Indian Institute of Technology Guwahati

2020

Formal Verification and Security Analysis of High-level Synthesis

Dr. Ramanuj Chouksey, Indian Institute of Technology Guwahati

Read Less

Membership In Professional Bodies

2020

IEEE

IEEE Senior Member

2020

IEEE

IEEE Senior Member

Read Less

Research Projects

Security Analysis of Compiler Optimization Techniques

Funding Agency : SERB

Formal Methods for Modeling and verification of Intrusion Detection system in wireless Networks

Funding Agency : DST

Formal Verification of Optimizing Transformations of Programs

Funding Agency : SERB

Read More

Security Analysis of Compiler Optimization Techniques

Funding Agency : SERB

Formal Methods for Modeling and verification of Intrusion Detection system in wireless Networks

Funding Agency : DST

Formal Verification of Optimizing Transformations of Programs

Funding Agency : SERB

Formal Verification of Optimizing Transformations of Programs and Optimizations for FPGAs

Funding Agency : IIT Guwahati

Read Less