Sofiène Tahar

Sofiène Tahar received the Diploma degree in computer engineering from the University of Darmstadt, Germany in 1990, and the Ph.D. degree with "Distinction" in computer science from the University of Karlsruhe, Germany in 1994. Currently he is Professor in the Department of Electrical and Computer Engineering at Concordia University, Montreal, Quebec, Canada, where he is holding a Senior Research Chair in Formal Verification of System-on-Chip. Prof. Tahar is founder and director of the Hardware Verification Group at Concordia University, which focuses on developing verification technologies in the fields of microelectronics, telecommunications, security, aviation, etc. He has received several awards and distinctions, including a National Discovery Award in 2010, given to Canada's top 100 researchers in engineering and natural sciences. Prof. Tahar is Senior member of IEEE, Senior member of ACM and member of the Order of Engineers of Quebec, IEEE Computer and IEEE Communications Societies.

Publications

Formal Verification Methods
Osman Hasan, Sofiène Tahar. © 2015. 9 pages.
Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan, Sofiène Tahar. © 2015. 298 pages.
Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each...
Formal Reliability Analysis of Engineering Systems
Naeem Abbasi, Osman Hasan, Sofiène Tahar. © 2014. 15 pages.
Reliability analysis of engineering systems has traditionally been done using computationally expensive computer simulations that cannot attain 100% accuracy due...
Formal Reliability Analysis of Embedded Computing Systems
Osman Hasan, Sofiène Tahar. © 2013. 15 pages.
The accurate reliability assessment of embedded systems has become a concern of overwhelming importance with their increasingly ubiquitous usage in safety-critical...
Formal Analysis of Real-Time Systems
Osman Hasan, Sofiène Tahar. © 2011. 34 pages.
Real-time systems usually involve a subtle interaction of a number of distributed components and have a high degree of parallelism, which makes their performance...