Alumni

 

PhD Students

 

PhD Students

Name

Period

Title of Thesis

Present Position
Muhammad Umair Siddique

2011 - 2015

Formal Analysis of Geometrical Optics using Theorem Proving Postdoc Researcher, McMaster University, Canada
Mohamed Yousri Mahmoud

2011 - 2015

Formal Analysis of Quantum Optics Postdoc Researcher, University of Ottawa, Canada
Lamine Ben Cheikh

2010 - 2015

Mapping algorithms for surgery on parallel architectures Postdoc, Ericsson, Montreal, Canada
Maissa El Euch

2009 - 2015

Formal probabilistic verification of wireless sensor networks Assistant Prof., University of Sfax, Tunisia
Jomu George Mani Paret

2010 - 2015

A Functional Verification Methodology for an Improved Coverage of System-on-Chips Verification Engineer, AMD Toronto, Canada
Henda Aridhi

2009 - 2015

Enhancing the Behavioral Verification of Analog Circuits using Model Order Reduction Product Development Engineer II, PMC-Sierra Montreal, Canada
Liya Liu

2009 - 2013

Formalization of discrete-time

Markov chains in HOL

Senior ASIC Design Engineer, AMD, Toronto, Canada
Tarek El

Mhamdi

2009 - 2012

Formal information theoretical analysis using theorem proving Graphics Verification Engineer, Apple, USA
Naeem Abbasi

2007 - 2012

Formal reliability analysis using higher-order logic theorem proving Verification Engineer, Qualcom, California, USA
Rajeev

Narayanan

2007 - 2012

A framework for noise analysis and verification of analog circuits Research Staff Member, IBM T.J. Watson Research Lab, USA
Aijiao Cui

2005 - 2009

Watermarking techniques for intellectual property protection Research Fellow, Peking

University Shenzen, China

Amjad

Gawanmeh

2003 - 2008

On the formal verification of group key security protocols Assistant Prof.,
Khalifa University, Sharjah, UAE
Mohamed

Hussein Zaki

2003 - 2008

Techniques for the formal verif of analog and mixed-signal designs Consultant, Innovia Technologies, Vancouver, Canada
Osman Hasan

2005 - 2008

Formal probabilistic analysis using theorem proving Assistant Prof.,
National U. of Sciences and Tech., Pakistan
Amr Abdel- Hamid

2001 - 2005

Watermarking techniques for IP

protection in SoC designs

Assistant Prof.,
German University of Cairo, Egypt
Ali Habibi

2001 - 2005

Framework for system level verification: The SystemC case Chief Engineer,
SiFive Inc., California, USA
Fang Wang

2000 - 2005

First-order w-automata model checking using MDGs Assistant Prof.,
Memorial U. of Newfoundland, Canada
Behzad

Akbarpour

2000 - 2005

Modeling and verification of DSP

designs in HOL

Senior Verification Engineer, Nvidia, California, USA
Hong Peng

1997-2002

Environment synthesis and syntactic model reduction Manager,
IC Design, Huawei, North Carolina, USA
Haiyan Xiong

1999-2002

Providing a formal linkage between MDG and HOL Information System Officer, Manchester U., UK
Mustafa Azizi

1998-2001

Coverification of hardware/software systems Associate Prof.
& Dept. Chair, U. Oujda, Morocco
Azzedine Amri

2011 - 2011

Formal verification of flight control systems VSoftware Quality Engineer, CS Canada, Montreal, Canada
William

Denman

2009 - 2010

Formal verification of nonlinear analog designs Systems Developer, Obis, Vancouver, BC, Canada
Walid Gandour

2007 - 2008

Formal verification of optical devices Private Sector, Lebanon
Faiez Charfi

2003 - 2008

Formal specification and verification of real-time systems Lecturer, University of the

Center, Tunisia

Nabil Wageeh

2004 - 2007

Formal verification of analog devices Mentor Graphics, Cairo, Egypt
Jounaidi

Ben Hassen.

2002 - 2007

Rewriting approaches for proba- bilistic model checking Public Sector, Ottawa, Canada
Lazhar Halleb

2003 - 2004

Modeling and verification of SoC

designs

System Engineer, Ericsson, Montreal, Canada
Rabeb Mizouni

2003 - 2003

Embedding of temporal specification languages in HOL Assistant Prof.,
Khalifa University, Abu Dhabi, UAE
Omar

Banimelhem

2002 - 2002

Specification and verification of

SoC using SystemC

Associate Prof. & Dept. Chair,
Jordan U. of Sciences and Tech., Jordan.
Yiqing Tang

1997 - 1999

Modeling and verification of

SPW designs in HOL

Engineer, Telecom Industry, Ottawa, Canada
Li Cong

1997 - 1998

CDMA multimedia services for mobile communications RA, Waterloo U., Canada

 
 

Concordia University