Hardware Verification Group

Founded in 1996 by Prof. Sofiène Tahar, HVG is a Montréal-based research lab in Concordia’s Department of Electrical & Computer Engineering advancing mathematically rigorous assurance for hardware, embedded, and cyber-physical systems. Our 20+ member team develops methodologies, algorithms, and tools for formal and semi-formal verification, with focal areas that include physical and transportation systems, AI-assisted/formal verification, reliability & probabilistic analysis, analog/mixed-signal and SoC, cloud-scale verification, and industrial tooling. Led by Profs. Sofiène Tahar and Otmane Ait Mohamed, HVG collaborates with national and international academic/industry partners and is supported by major granting agencies, turning rigorous theory into dependable engineering practice.