Postdoc Researchers
Postdoctoral Fellows
| Name |
Period |
Title of Project |
Present Position |
| Waqar Ahmad |
2018 – 2019 |
Formal analysis of dependability using HOL | Senior Safety Engineer, Black- Berry/QNX, Ottawa, Canada |
| Ghaith Bany Hamad |
2017 – 2018 |
– | McGill University, Montreal, Canada |
| Mohamed Zaki |
2009 – 2018 |
Semi-formal verification of analog systems | Assistant Prof., University of Central Florida, USA |
| 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 |
2012 – 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 |
2008 – 2010 |
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 |
2006 – 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 | Senior Verification Engineer, AMD, Toronto, Canada |
| Skander Kort |
1999 – 2001 |
Hybrid Verification using MDG and HOL |
Assistant Prof., Concordia U., Montreal, Canada (2002-05) |
| Jianfeng Weng |
1998 – 1999 |
Interference Cancellation for CDMA Mobile Communications |
System Designer, BlackBerry, Waterloo, Canada |
| Guo-Qiang Xue |
1998 – 1999 |
Multiuser Detectors for CDMA Mobile Communications | Manager, 4G RF Performance & Verif., Nortel, Ottawa, Canada |
| Otmane Ait Mohamed |
1996 – 1998 |
Modeling and verification using MDG and HOL | Professor, Concordia U., Montreal, Canada |
