Alumni

 

Postdoc Researchers

 

Postdoctoral Fellows

Name

Period

Title of Project

Present Position
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 Postdoc, UBC, Vancouver, Canada
Cvetan

Denchev

2013 - 2014

Deductive verification using HOL theorem proving. Postdoc, U. Bologna, Italy
Mohamed

Layouni

2013 - 2014

Defect analysis in oil and gas pipelines using neural networks. Freelance Consultant, Financial
sector, Montreal, Canada
Navid Golbon

2013 - 2013

Medical grade programmable battery charger and analyzer Power Simulation Engineer, Bombardier, Kingston, Canada
Tarek Mhamdi

2012 - 2013

Formal analysis of information systems using HOL Graphics Verification Engineer,
Apple, USA
Vincent

Aravantinos

2011 - 2013

Formalization of linear algebra and optics theories in HOL Research Group Leader,
fortiss GmbH, Germany
Mahdi Alavi

2012 - 2012

Medical grade programmable battery charger and analyzer Lecturer, U. Windsor, Canada
Osman Hasan

2008 - 2010

Formal verification of physical systems using HOL Assistant Prof.
National U. of Sciences and Tech., Pakistan
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 Chief Engineer, SiFive Inc.,
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