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 design24
- design automation8
- VLSI8
- MPSoC architectures2
- microelectronics2
- microsystems4
- verification tools2
- HOL analysis
- multiway decision graphs2
- signal analysis2
- embedded systems7
- mathematical modeling17
- watermarking4
- probabilistic design methods4
- signal processing20
-
Otmane Ait Mohamed
functional verification, formal methods, reliability analysis
-
Sébastien Le Beux
embedded systems, emerging nanotechnologies, nanophotonic interconnects
-
Tien D. Bui
computer vision, biometrology, artificial intelligence
-
Brigitte Jaumard
large scale optimization, networks, ICT
-
Nizar Bouguila
computer vision, data mining, machine learning
-
Olga Ormandjieva
software engineering, software metrics, category theory
-
Yuhong Yan
service-oriented computing, end-user services architectures, enterprise applications
-
Wei-Ping Zhu
signal processing, speech processing, image processing
-
J. William Atwood
networks, multicast, communication protocols
-
Mourad Debbabi
cybersecurity, cyberphysical systems, smart grids
-
Glenn Cowan
high-speed integrated circuit design, CMOS image sensors, VLSI
-
Mohsen Farhadloo
machine learning, data mining, text analytics
-
M. Omair Ahmad
signal processing, image processing, video signal processing
-
Rodrigo Morales Alvarado
automated software improvement, empirical software engineering, software quality and best practices
-
Rabin Raut
CMOS technology, VLSI, high-speed integrated circuit design
-
M. N. S. Swamy
image processing, video signal processing, statistical signal processing
-
Habib Benali
computational neuroscience, neuroimaging, brain functions
-
Chun Wang
distributed/parallel systems, e-supply chains, scheduling