Dr Chandan Karfa
vidwan id: 128272
Assistant Professor, Department of Computer Science and Engineering
Indian Institute of Technology Guwahati
Expertise
- Computer Science Information Systems
Publications
Publications
No publication activity to display at the moment.
Scopus
h-index
12
CrossRef
Citations
47
h-index
4
Google Scholar
Loading Scholar statistics...
Professional Recognition
Qualcomm Faculty Award 2021
QualcommIEEE Senior member
IEEETechInventor Award 2013
India Electronics and Semiconductor Association (IESA).Innovative Student Projects Award 2013 (Doctoral Level)
Indian National Academy of Engineering (INAE)Innovative Student Projects Award 2008 (Master Level)
Indian National Academy of Engineering (INAE)Microsoft Research India PhD Fellowship
MicrosoftBest Paper Award
5th IBM Collaborative Academia Research Exchange (I-CARE 2013)1st Prize in EDA Software Contest
22nd international conference on VLSI design and embedded systems, 2011Student Best Paper Award
15th IEEE International Conference on Advanced Computing and Communications (ADCOM 2007)Community & Membership
No Data Found
There is currently nothing to display here.
IEEE
Bio
Formal Verification, Electronic Design Automation, High-level Synthesis, Hardware Security, Embedded System Verification, Verification of Compiler Optimizations.
Personal Details
- Male
- Assistant Professor , Indian Institute of Technology Guwahati
- Iit Guwahati
No Data Found
There is currently nothing to display here.
Related Profiles
Experts (14089+)
View All
Assistant Professor
Assistant Professor
N/A
Assistant Professor
Assistant Professor
Doctor
Assistant Professor (Grade-I)
Assistant Professor
Research Scholar
Junior Research Fellow
Organisations (474+)
View All
Assistant Professor
Associate Professor
Senior Library and Information Assistant
Associate Professor
Professor
Professor
Professor
Professor
Associate Professor
Associate Professor
Co-Authors (12)
Indian Institute of Technology Kharagpur
Indian Institute of Technology Guwahati
Indian Institute of Technology Kharagpur
Indian Institute of Technology Kharagpur
Netaji Subhash Engineering College
Tezpur University
Indian Institute of Technology Guwahati
Indian Institute of Technology Guwahati
Indian Institute of Technology Guwahati
Indian Institute of Technology, Bhilai
Indian Institute of Technology Guwahati
Scholarly Work
Security Analysis of Compiler Optimization Techniques
Funding Agency: SERB
Principal Investigator
23Lakhs
2020 - Ongoing
Formal Methods for Modeling and verification of Intrusion Detection system in wireless Networks
Funding Agency: Department of Science and Technology, Govt. of India
Principal Investigator
28Lakhs
2019 - Ongoing
Formal Verification of Optimizing Transformations of Programs
Funding Agency: SERB
Principal Investigator
18Lakhs
2017 - 2020
Formal Verification of Optimizing Transformations of Programs and Optimizations for FPGAs
Funding Agency: IIT Guwahati
Principal Investigator
15Lakhs
2017 - 2019
Formal Verification and Security Analysis of High-level Synthesis
No Data Found
There is currently nothing to display here.
