Formal Verification of Integrated Circuits Hardware Description Languages for Integrated Circuits
Biography
Sa’ed Abed received his B.Sc. and M.Sc. in Computer Engineering from Jordan University of Science and Technology, Jordan in 1994 and 1996, respectively. In 2008, he received his Ph.D. in Computer Engineering from Concordia University, Canada. He has previously worked at King Faisal University in Saudi Arabia from 1997-2003. He joined Hashemite University, Jordan, as an Assistant Professor from 2008-2014. Currently, Dr. Abed is an Associate professor in the Department of Computer Engineering at Kuwait University. His research interests include Formal Methods, VLSI Design and Image Processing. Dr. Abed also served as a reviewer for various international conferences and journals.