Research Interests
Current Projects
Supervised Theses
Team Members
Our Partners
home contact Us Admin

    Dr. Otmane Ait Mohamed
        PhD, ing., Concordia University

            Department of Electrical and Computer Engineering

         1455 de Maisonneuve Blvd. W. , Montreal, Quebec, Canada H3G 1M8
         Tel:(514)848-2424 ext.3084
         Office: S-EV 16181
Our research activities lie principally in the field of formal verification of concurrent communicating systems and hardware formal verification,
more specifically in the area related to computer aided verification.

Although important progress has been achieved in the areas of hardware verification and formal methods these topics still remain among the
major topics in the research in computer engineering. For instance, due to the enormously growing complexities of today's electronic systems,
it is a major challenge to develop error-free product with reasonable costs and development time. Simulation and test methods alone can no
longer guarantee hardware products of high quality.

We are as well interested to develop analysis techniques to study the effect of radiations on electronic circuit for aerospace applications.
We developed techniques to analyze the reliability and the performability of such systems.