PhD Students
PhD Students
| Name |
Period
|
Title of Thesis |
Present Position |
| Mohamed Wagdy Abdelghany |
2018 – 2021 |
Formal Probabilistic Risk Assessment using Theorem Proving | Chef d’Équipe Opération, SNC-Lavalin, Montreal, Canada |
| Saif Najmeddin |
2017 – 2021 |
UAV-Enabled Wireless Powered Communication Networks | Senior DSP Engineer, MDA, Montreal, Canada |
| Hassnaa El- Derhalli |
2018 – 2021 |
Design Stochastic Computing Architectures Integrated Optics | Design Verification Engineer, AMD, Ottawa, Canada |
| 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 | Senior Formal Verification Applications Engineer, Synopsys, Ottawa, 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 | Senior Formal Verification Engineer, Nvidia, California, USA |
| Ghaith Bany Hamad |
2013 – 2017 |
Multilevel Modeling, Formal Analysis, and Characterization of Soft Error in Digital Systems | Senior Formal Verification Engineer, Nvidia, California, USA |
| 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 Production Analyst, DGCIB, Montreal, Canada |
| Muhammad Umair Siddique |
2011 – 2015 |
Formal Analysis of Geometrical Optics using Theorem Proving | System Design Engineer, Apple, 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 | Professor & Provost., 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 |
| 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 |
