| Waqar Ahmad |
2018 – 2019 |
Auto. Certif. Sr. Software Eng., WindRiver, Ottawa, Canada |
| Ghaith Bany Hamad |
2017 – 2018 |
– |
McGill University, Montreal, Canada |
| Mohamed Zaki |
2009 – 2018 |
Semi-formal verification of analog systems |
Assistant Prof., Western University, London, Canada |
| Abduljalil Mohamed |
2014 – 2016 |
Defect analysis in oil and gas pipelines using neural networks |
Assistant Prof., AMBM College, Doha, Qatar |
| Lotfi Beghou |
2014 – 2015 |
Medical grade programmable battery charger and analyzer |
Sr. Engineer, Leonardo DRS Bedford, Canada |
| Cvetan Denchev |
2013 – 2014 |
Deductive verification using HOL theorem proving |
Software Developer, Gruppo Euris Spa, Italy |
| Mohamed Layouni |
2013 – 2014 |
Defect analysis in oil and gas pipelines using neural networks |
Cybersecurity Senior Researcher, GM, Michigan, USA |
| Navid Golbon |
2013 – 2013 |
Medical grade programmable battery charger and analyzer |
Senior Traction Power Engineer, WSP, Vancouver, Canada |
| Tarek Mhamdi |
2011 – 2013 |
Formal analysis of information systems using HOL |
Design Verification Engineer, Apple, Florida, USA |
| Vincent Aravantinos |
2011 – 2013 |
Formalization of linear algebra and optics theories in HOL |
Safety Validation Expert, Autonomous Intelligent Driving, Germany |
| Mahdi Alavi |
2012 – 2012 |
Medical grade programmable battery charger and analyzer |
Lecturer, U. Windsor, Canada |
| Osman Hasan |
2009 – 2010 |
Modeling and verification of probabilistic systems using HOL |
Professor & Provost National U. of Sciences and Tech., Pakistan |
| Zhiwei Wang |
2010 - 2010 |
Design and verif. of medical grade universal battery charger |
Principal Consultant Engineer. XtremeEDA, Ottawa, Canada |
| Osman Hasan |
2008 – 2009 |
Modeling and verification of probabilistic systems using HOL |
Professor & Provost National U. of Sciences and Tech., Pakistan |
| Behzad Akbarpour |
2008 – 2009 |
Verification of probabilistic and continuous behavior systems |
Senior Verification Engineer, Nvidia, California, USA |
| Tarek Sadani |
2007 – 2008 |
Formal verification of real-time systems |
Software Engineer, CAE, Montreal, Canada |
| Ghiath Al Sammane |
2007 – 2008 |
Symbolic simulation of System level and RTL designs |
VP R&D, Garmen, Montreal, Canada |
| Ali Habibi |
2005 – 2006 |
Formal and semi-formal verification of SOC designs |
Principle Engineer, Qual- comm, California, USA |
| Behzad Akbarpour |
2005 – 2005 |
Verification of probabilistic and continuous behavior systems |
Senior Verification Engineer, Nvidia, California, USA |
| Yassine Mokhtari |
2003 – 2004 |
Abstraction and reduction for model checking |
Senior Verification Engineer, AMD, Toronto, Canada |
| Abdelkader Dekdouk |
2001 – 2002 |
Formalization of fixed-point arithmetic in HOL |
Associate Prof, University of Oran, Algeria. |
| Yassine Mokhtari |
2000 – 2001 |
Abstraction and reduction for model checking |
Associate Prof, University of Oran, Algeria. |
| Skander Kort |
1999 – 2001 |
Hybrid Verification using MDG and HOL |
System Designer, BlackBerry, Waterloo, Canada |
| Jianfeng Weng |
1999 – 2001 |
Interference Cancellation for CDMA Mobile Communications |
Assistant Prof., Concordia U., Montreal, Canada (2002-05) |
| Guo-Qiang Xue |
1998 – 1999 |
Multiuser Detectors for CDMA Mobile Communications |
Manager, 4G RF Performance & Verif., Nortel, Ottawa, Canada |
| Otmane Ait Mohamed |
1998 – 1999 |
Modeling and verification using MDG and HOL |
Professor, Concordia U., Montreal, Canada |