How can we improve the reliability of information technology systems?
Sofiène Tahar
- Concordia University Research Chair in Formal Verification of System‑on‑Chip
- Professor
- Department of Electrical and Computer Engineering
- communication protocols5
- hardware specification
- functional verification6
- formal methods6
- algorithm design20
- design automation8
- VLSI7
- MPSoC architectures
- microelectronics2
- microsystems4
- verification tools2
- HOL analysis
- multiway decision graphs2
- signal analysis2
- embedded systems5
- mathematical modeling16
- watermarking4
- probabilistic design methods4
- signal processing16
-
Otmane Ait Mohamed
functional verification, formal methods, reliability analysis
-
Tien D. Bui
computer vision, biometrology, artificial intelligence
-
Glenn Cowan
high-speed integrated circuit design, CMOS image sensors, VLSI
-
J. William Atwood
networks, multicast, communication protocols
-
Wei-Ping Zhu
signal processing, speech processing, image processing
-
Yuhong Yan
service-oriented computing, end-user services architectures, enterprise applications
-
M. Omair Ahmad
signal processing, image processing, video signal processing
-
Nizar Bouguila
computer vision, data mining, machine learning
-
Rabin Raut
CMOS technology, VLSI, high-speed integrated circuit design
-
Mourad Debbabi
cybersecurity, cyberphysical systems, smart grids
-
Habib Benali
computational neuroscience, neuroimaging, brain functions
-
M. N. S. Swamy
image processing, video signal processing, statistical signal processing
-
Olga Ormandjieva
software engineering, software metrics, category theory
-
Chun Wang
distributed computing, e-supply chains, scheduling
-
Brigitte Jaumard
large scale optimization, networks, ICT
