Dr. Otmane Ait Mohamed

Biography

Otmane Ait Mohamed is a Professor in the Department of Electrical and Computer Engineering at Concordia University. His research interests include Hardware Verification, Model Checking, Quantitative Analysis, Digital Circuits, and Radiation Effects. Ait Mohamed has published extensively in various formats, including edited books, journal articles, and conference proceedings, contributing significantly to advancements in hardware specification verification and formal methods. He received his Ph.D. from the University Henri Poincare Nancy in 1996. His teaching activities include courses in Digital Design, Computer Architecture, and Functional Hardware Verification. His current projects focus on Cyber Physical Systems and Cross Layer Analysis, reflecting his commitment to addressing contemporary challenges in hardware design and verification. In addition to his teaching and research roles, Ait Mohamed actively supervises graduate students and collaborates with industry to translate research findings into practical applications.

Research Interests