PhD in Electrical Engineering, Computer and Systems Engineering Specialization.Received B.Sc., M.Sc., and Ph.D. degrees in Electrical and Computer Engineering from Ain Shams University, Egypt in 2002, 2007, 2013 respectively. Started the academic career Since 2003 as a teaching assistant and was promoted to a lecturer then assistant professor in 2013 at the Canadian International College in Cairo. Also worked at the American University in Cairo and the Arab Academy for Science and Technology in teaching and research. Main research work is related to Formal Verification, FPGA design, Fault tolerance and Reliability. Joined TU Wien since 2017, actively teaching "Advanced FPGA design", “SoC design Lab“ and "Hardware Verification" courses and is currently a post doc university assistant at the Institute of Computer Technology.https://orcid.org/0000-0002-6867-8673