Sofiène Tahar

Sofiène Tahar is a Professor at Concordia University's Department of Electrical and Computer Engineering, affiliated with the Faculty of Engineering and Computer Science. His research focuses on formal verification, theorem proving, and their applications in cyber-physical systems, circuit design, and reliability engineering. He has authored over 300 publications in top-tier conferences and journals, including DATE, ICFEM, and FMCAD.

Key research areas include formal methods for analog/digital circuits, approximate computing, stochastic systems, and safety-critical systems. His work bridges theoretical foundations (e.g., theorem proving in HOL) with practical engineering problems like circuit reliability and autonomous systems verification.

Recent projects involve formal analysis of vehicular systems, energy-efficient approximators, and machine learning integration with formal verification frameworks. Tahar collaborates extensively with industry partners and holds leadership roles in international conferences, including co-chairing ICFEM 2023.