Sa’ed Abed received his B.Sc. in Electrical Engineering in 1994 and his M.Sc. in Computer Engineering in 1996 both from Jordan University of Science and Technology (J.U.S.T.), Jordan. In 2008, he received his Ph.D. in Computer Engineering from Concordia University, Montreal, Canada. He has previously worked as lecturer in the department of Computer Science at King Faisal University in Saudi Arabia from 1997 until 2003. In 2008, Dr. Abed joined the Department of Computer Engineering of Hashemite University, Zarqa, Jordan, as Assistant Professor. Dr. Abed was the Engineering Dean Assistant for Industrial Relations and ABET for the period between May 2010 and Sep. 2011 and Computer Engineering Department chair for the period between Sep. 2011 and Sep. 2012. Dr. Abed’s research interests include Formal Methods, Theorem Proving, Model Checking, SAT-Solvers, VLSI Design, High Level Synthesis, Computer Architecture and Fault Tolerance. Dr. Abed also served as a reviewer for various international conferences and journals. Dr. Abed is member of the Institute of Electrical and Electronics Engineering (IEEE), the Association for Computing Machinery (ACM) and the Jordanian Engineers Association.