Chandan Karfa
Assistant Professor
Department of Computer Science and Engineering
Indian Institute of Information Technology, Guwahati
India
Biography
Formal Verification, Electronic Design Automation with special interest in High-level Synthesis, Embedded System Verification, Verification of Compiler Optimizations.
Research Interest
Formal Verification, Electronic Design Automation with special interest in High-level Synthesis, Embedded System Verification, Verification of Compiler Optimizations.
