Professor · researcher · educator
Otmane
Ait Mohamed
Associate Dean, Academic Programs and Undergraduate Affairs
Professor, Electrical and Computer Engineering
Advancing formal methods for hardware, dependable cyber-physical systems, and safety-critical computing.
Biography
Rigour for systems that matter.
Otmane Ait Mohamed is a professor of Electrical and Computer Engineering and Associate Dean, Academic Programs and Undergraduate Affairs, at Concordia University’s Gina Cody School of Engineering and Computer Science. He received his PhD from Université Henri Poincaré Nancy I in 1996.
His research brings formal and quantitative methods to dependable hardware and cyber-physical systems. Across model checking, theorem proving, radiation effects, time-sensitive networks, safety-critical processors, and intelligent computing, his work asks a consistent question: how can complex systems be designed with evidence that they will behave safely and reliably?
At Concordia, he combines research, graduate supervision, teaching, and academic leadership, connecting foundational verification methods with engineering problems whose failures have real consequences.
Research statement
Making complex systems worthy of trust.
Professor Ait Mohamed’s work connects mathematical rigor with engineering practice. His group develops models, verification methods, and tools that reveal faults before systems enter service.
The program spans foundational formal verification, time-sensitive networks, radiation-aware hardware, dependable cyber-physical systems, and emerging assurance methods for intelligent systems.
Explore
A profile organized around the work.
Research program
Four connected directions and the questions behind them.
View 02Publications
Major contributions, research briefs, and the indexed scholarly record.
View 03Research tools
Student-built verification and analysis systems.
View 04People
Current students, alumni careers, completed theses, and how to join.
View 05Teaching
Digital design, computer architecture, and hardware verification.
View 06Talks & Conferences
Conference leadership, invited lectures, and community building.
View