Otmane Ait MohamedOtmane Ait Mohamed received his Ph.D. (1996) in Computer Science from Université Henri Poincaré, Nancy 1. Before his arrival at Concordia in 2002, he worked as a Postdoctoral Fellow at Université de Montréal, a Research Scientist at Cistel, and a Senor Verification Engineer at Nortel Networks in Ottawa. Dr. Otmane Ait Mohamed was promoted to Associate Professor in the Department of Electrical and Computer Engineering in June 2008. Dr. Ait Mohamed has been working on formal verification for hardware and communication protocol since 1992. He contributed to the development of the MDG tool, a formal verification tool developed at the University of Montreal from 1996-1998. He joined Cistel Technology, then Nortel Networks, where he introduced the use of formal method techniques in the hardware design flow to identify critical issues in the protocols used in Nortel’s Virtual Processor Subsystems. His work with the verification team consisted of verifying four different ASICs used in the communication data switch. His main research areas include hardware model checking, assertion-based verification, automatic test generations, and FPGA-based design and verification. Since joining Concordia, Dr. Ait Mohamed has published more than 80 papers in refereed conference proceedings and 30 journal papers. He is the principal or co-investigator of several team grants from agencies such as NATEQ, MDEIE, and various companies. Dr. Ait Mohamed has supervised or co-supervised to completion 25 M.A.Sc. students, 4 Ph.D. students, and 2 postdoctoral Fellows. Dr. Ait Mohamed also served as a reviewer for several related conferences and journals, and he maintains collaborations with AMD, ST, Synopsys, Texas Instruments, and Qualcomm. Dr. Ait Mohamed was the program co-chair for the prestigious 21st TPHOLs conference in 2008. He is a registered professional engineer with the Ordre des ingénieurs du Québec , member of IEEE, and member of ACM. Read More Read Less