PhD Students


PhD Students



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


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


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



2003 - 2008

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

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


2000 - 2005

Modeling and verification of DSP

designs in HOL

Senior Verification Engineer, Nvidia, California, USA
Hong Peng


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


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


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


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

Ben Hassen.

2002 - 2007

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

2003 - 2004

Modeling and verification of SoC


System Engineer, Ericsson, Montreal, Canada
Rabeb Mizouni

2003 - 2003

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


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