Alumni

 

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
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 Assistant Prof., University of Batna, Algeria
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 Associate Prof.
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

 
 

Concordia University