Sofiene Tahar received in 1990 a Diploma in computer engineering from the University of Darmstadt, Germany, and in 1994 a Ph.D. degree with “Distinction” in computer science from the University of Karlsruhe, Germany. Currently, he serves as a Professor at the Department of Electrical and Computer Engineering at Concordia University, Montreal, where he works as a Senior Research Chair in Formal Verification of System-on-Chip. He serves as the Founder and Director of the Hardware Verification Group (http://hvg.ece.concordia.ca) at Concordia University, which carried pioneering work in the past 15 years in collaboration with multinational industry and renowned research institutions. he has received several awards and distinctions, including in 2007 the title of Concordia University Fellow for being the Best Senior Researcher of the year, and in 2010 a National Discovery Award provided to Canada’s the Top 100 Engineering and Sciences Researchers. He serves as a Member of the Order of Engineers of Quebec, Senior Member of IEEE, and Senior Member of ACM.
Biography Updated on 2 March 2012