Sofiène TaharSofiè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 Profesor 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. Read More Read Less