Research Interests
Current Projects
Supervised Theses
Publication
Teaching
Team Members
Links
Our Partners
www.lobortissecun.dum
www.iriure.decet.mo
www.demoveo.com
www.transverbero.no
www.nummyvento.sus
www.natu.vel
www.lobortissecun.dum
www.iriure.decet.mo
www.demoveo.com
www.transverbero.no
www.demoveo.com
home contact Us Admin

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


          Professor
            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
         Email: otmane.aitmohamed@concordia.ca
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.