PhD Students


PhD Students



Title of Thesis

Present Position
Mahmoud Saleh Masadeh

2016 – 2020

Machine Learning based Adaptive Approximate Computing Assistant Prof., Yarmouk University, Irbid, Jordan
Yassmeen Elderhalli

2017 – 2019

Formal dependability analysis using HOL theorem proving FPGA Verification Engineer, MDA, Montreal, Canada
Ahmed Hachani

2013 – 2018

Formal verification of clock domain crossing ASIC Digital Designer, Synopsys, Ottawa, Canada
Mbarka Soualhiai

2013 – 2018

An adaptive failure-aware scheduler for Hadoop Senior Researcher, Ericsson, Montreal, Canada
Ibtissem Seghaier

2012 – 2018

Surrogate based optimization and verification of AMS designs Postdoc, McGill U., Montreal, Canada
Ons Lahiouel

2012 – 2017

Enhancing variation-aware analog circuits sizing Senior ASIC Verification Engineer, MDA, Montreal, Canada
Alaeddine Daghar

2012 – 2017

Formal verification of control systems in HOL Senior Consultant Sys Integration, Deloitte, Montreal, Canada
Ghassen Helali

2012 – 2017

Formal verification of opacity in HOL Senior CProduction Analyst, DGCIB, Montreal, Canada
Muhammad Umair Siddique

2011 – 2015

Formal Analysis of Geometrical Optics using Theorem Proving Senior System Safety Engineer, Bosch, California, USA
Mohamed Yousri Mahmoud

2011 – 2015

Formal Analysis of Quantum Optics Senior ASIC Design Verification Engineer, Infinera, Ottawa, Canada
Lamine Ben Cheikh

2010 – 2015

Mapping algorithms for surgery on parallel architectures Data Scientist, Olameter, Montreal, Canada
Jomu George Mani Paret

2010 – 2015

A Functional Verification Methodology for an Improved Coverage of System-on-Chips Verification Engineer, AMD Toronto, Canada
Maissa El Euch

2009 – 2015

Formal probabilistic verification of wireless sensor networks Assistant Prof., University of Sfax, Tunisia
Sanaz Afshar

2010 – 2015

Formal verification of electromagnetics optics Requirement and Test Leader, Crouse Co., Tehran, Iran
Henda Aridhi

2009 – 2015

Enhancing the Behavioral Verification of Analog Circuits using Model Order Reduction Senior Product Development Engineer, Microchip, 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 Design Verification Engineer, Apple, Florida, 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 Director, Ecosystem Platform Strategy, Eisai, NJ, 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 Associate Prof.,
University of Dubai, UAE
Mohamed Hussein Zaki

2003 – 2008

Techniques for the formal verif of analog and mixed-signal designs Assistant Prof., University of Central Florida, USA
Osman Hasan

2005 – 2008

Formal probabilistic analysis using theorem proving Associate 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 Principle Engineer, Qualcomm, 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


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 Team Leader, Software Quality, CS Canada, Montreal, Canada
William Denman

2009 – 2010

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

2007 – 2008

Formal verification of optical devices Associate Prof., Lebanese University, 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 Senior Engineer, Mentor Graphics, Cairo, Egypt
Ben Hassen.

2002 – 2007

Rewriting approaches for proba- bilistic model checking Project Leader, Infrstructure Canada, Ottawa, Canada
Lazhar Halleb

2003 – 2004

Modeling and verification of SoC designs Integration & Verification Eng., Ericsson, Montreal, Canada
Rabeb Mizouni

2003 – 2003

Embedding of temporal specification languages in HOL Associate 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.


Concordia University