Sofiène Tahar

Sofiène Tahar is a Professor and Tier I Concordia Research Chair in the Department of Electrical and Computer Engineering at Concordia University. His academic career focuses on formal methods for hardware and system verification.

• Education: Ph.D. from the University of Karlsruhe (1994)

Research Interests:

• Formal methods and theorem proving
• Hardware verification (digital, analog, and mixed-signal systems)
• Cyber-physical systems analysis
• Reliability, probabilistic, and statistical modeling

Scientific Recognition:

• Tier I Concordia Research Chair

Teaching Activities:

• COEN311: Computer Organization and Software
• COEN6741: Computer Architecture and Design
• COEN6551: Formal Hardware Verification

Thesis Supervision: Currently supervising PhD students in Electrical and Computer Engineering.