Sa'ed Abed
Scholar

Sa'ed Abed

Google Scholar ID: 43qKN0UAAAAJ
Computer Engineering, Kuwait University
VLSI Design AutomationVerification and Formal MethodSAT SolverHardware SecurityAI
Citations & Impact
All-time
Citations
995
 
H-index
17
 
i10-index
27
 
Publications
20
 
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.