Alumni

 

PhD Students

 

PhD Students

Name

Period

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
Mhamdi

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

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 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
Jounaidi
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