Ghaith Bany Hamad View Ghaith Bany Hamad's profile on LinkedIn

Smiley face

Groupe de Recherche en Microélectronique et Microsystèmes (GRM/GR2M)
Department of Electrical Engineering
Polytechnique Montreal
Office: Pavillons Lassonde, M-5307
Email: ghaith.bany-hamad@polymtl.ca
Phone: +1 514-340-4711 (ext: 4474)


Hardware Verification Group (HVG)
Department of Electrical and Computer Engineering
Concordia University
Office: SGW Campus, EV. 16,169
Email: g_banyha@ece.concordia.ca
Phone: +1 514-848-2424 (ext: 7261)

Research Interests

In 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

Recommended Events

DAC-2016
ISCAS-2016


About Me

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.







Flag Counter