Dr. Sofiène Tahar

Biography

Sofiène Tahar is a Professor at Concordia University, specializing in Electrical and Computer Engineering. He holds a Ph.D. from the University of Karlsruhe, which he completed in 1994. His research interests encompass a variety of areas within formal methods including hardware verification, theorem proving, and the study of cyber-physical systems. Through his work, he contributes significantly to the field of formal hardware verification and microprocessor system-on-chip verification, which are critical in ensuring the reliability and efficiency of modern computing systems. In addition to his research, he actively supervises PhD students within his department and teaches several courses including Computer Organization and Computer Architecture Design. His commitment to education is reflected in his detailed approach to teaching formal probabilistic methods and statistical reliability analysis, further demonstrating his expertise in analyzing and verifying complex systems. His leadership in the Hardware Verification Group at Concordia University fosters a collaborative environment that encourages innovation and advanced research in electrical and computer engineering.

Research Interests