Department of Electrical Engineering
Office: Pavillons Lassonde, M-5307
Phone: +1 514-340-4711 (ext: 4474)
Hardware Verification Group (HVG)
Department of Electrical and Computer Engineering
Office: SGW Campus, EV. 16,169
Phone: +1 514-848-2424 (ext: 7261)
Research InterestsIn general: Hardware Formal Verification, Decision Procedures (SMT solvers) for Design Verification, Fault Tolerant Embedded Computing, Reliability Analysis
Apllication domain: Radiation impact on digital designs, (Cyber) Physical Systems, Non-functional formal Verification
I currently a graduate student at the electrical engineering department at Polytechnique Montreal under the supervison of Prof. Yvon Savaria and Prof. Otmane Ait Mohamed
in the Hardware Verification Group (HVG) at Concordia Univeristy. Previously, at Concordia University, I received my M.A.Sc. in Electrical and Computer Engineering with
research in the area of Hardware Formal Verification. Prior to that I received my B.Sc. degree in Electrical and Computer engineering
from Hashemite University.
Currenty, I am working on the project entitled "Cosmic Radiation Effect on Embedded Systems for Aerospace Applications". This project is affiliated with CRIAQ. Industrial partners are Bombardier Aerospace, Canadian Space Agency (CSA), MDA Space Missions and ISR Technologies, Montreal.