Sofiène Tahar, PhD, Ing.
Thesis supervisor Seeking students
- Professor and Tier I Concordia Research Chair, Electrical and Computer Engineering
Are you the profile owner?
Sign in to editThesis supervision details
Supervised program: Electrical and Computer Engineering (PhD)
Research areas: Formal methods, Hardware verification, Theorem proving, Cyber-physical systems.
Contact information
Email:
Website:
Biography
Education
Ph.D. (University of Karlsruhe, 1994)
Interests
formal hardware verification, microprocessor and system-on-chip verification, analog and mixed signal circuits verification, formal probabilistic, statistical and reliability analysis of cyber-physical systems
Teaching activities
Computer Engineering (Hardware)
Computer Organization and Software (COEN311)
Computer Architecture and Design (COEN6741)
Formal Hardware Verification (COEN6551)
Research activities
Hardware Verification Group
Research Projects, Publications and Personnel
https://hvg.ece.concordia.ca