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 design25
- 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
- aerospace72
-
Otmane Aït Mohamed
functional verification, formal methods, reliability analysis
-
Sébastien Le Beux
embedded systems, emerging nanotechnologies, nanophotonic interconnects
-
Mourad Debbabi
information systems security, cyberphysical systems, smart grids
-
M. Omair Ahmad
signal processing, image processing, video signal processing
-
Wei-Ping Zhu
signal processing, speech processing, image processing
-
Tien D. Bui
computer vision, biometrology, artificial intelligence
-
Nizar Bouguila
computer vision, data analytics, machine learning
-
Yuhong Yan
service-oriented computing, end-user services architectures, enterprise applications
-
Serguei A. Mokhov
Forensic Lucid, formal methods, software engineering
-
Shahin Hashtrudi Zad
control systems, discrete event systems, biological systems
-
Zezhong (Chevy) Chen
multi-axis CNC machining, industry 4.0, cutter design
-
J. William Atwood
autonomic networking, multicast, communication protocols
-
Luis Rodrigues
aerospace, control systems, piecewise affine controllers
-
Yong Zeng
design process, creativity, design engineering
-
Ali Akgunduz
aviation industry, air traffic control, greener aviation
-
Wahid Ghaly
gas turbine engines, aerodynamic inverse shape design, computational fluid dynamics
-
Rajamohan Ganesan
structural dynamics, composite laminates, vibration
-
Youmin Zhang
intelligent unmanned systems, UAVs (drones), UGVs (unmanned ground vehicles)
-
Amir Asif
signal processing, array processing, distributed particle filter
-
Glenn Cowan
high-speed integrated circuit design, CMOS image sensors, VLSI
-
Arash Mohammadi
signal processing, information systems security, cyberphysical systems
-
Mohsen Farhadloo
machine learning, data mining, text analytics
-
Rodrigo Morales Alvarado
automated software improvement, empirical software engineering, software quality and best practices
-
Mingyuan Chen
operations research, industry 4.0, remanufacturing
-
Rabin Raut
CMOS technology, VLSI, high-speed integrated circuit design
-
Charles Basenga Kiyanda
thermofluids, mathematical modeling, shock waves
-
Tsz Ho Kwok
advanced 3D printing techniques, CAD/CAM, design automation
-
M. N. S. Swamy
image processing, video signal processing, statistical signal processing
-
Habib Benali
computational neuroscience, neuroimaging, brain functions
-
Carole El Ayoubi
gas turbine engines, computational fluid dynamics, turbine design
-
Olga Ormandjieva
empirical software engineering, software metrics, category theory
-
Amir G. Aghdam
adaptive control, decentralized large-scale systems, control systems
-
Christopher W. Trueman
computational electromagnetics, electromagnetic compatibility, antennas
-
Chun Wang
distributed/parallel systems, e-supply chains, scheduling
-
Robert Paknys
antennas, electromagnetics, electromagnetic compatibility
-
Brigitte Jaumard
autonomic networking, graph theory, operations research
-
Muthukumaran Packirisamy
micro/nano devices, microfabrication, MEMS/NEMS
-
Chunyan Lai
electrical machines and drives, permanent magnet synchronous motors, power electronics
-
Rolf Wüthrich
gas evolving electrodes, glass micromachining, nanoparticle synthesis
