Co-authors
41
list available
Resume (English only)
Academic Achievements
- Published over 130 papers in reputable journals and conferences.
Research Experience
- Research interests include: Very Large Scale Integration (VLSI) Design Automation, Hardware Security, Formal Verification Methods, Theorem Proving, SAT-Solvers, Model Checking, Artificial Intelligent & Image Processing.
Background
- Working in a leading academic institution where he can educate, inspire, and motivate the new generation to learn through effective instruction and teaching media. In addition, he aims to find interesting academic research opportunities with specific application to areas in which his contributions will make a difference to the quality of science and technology.