| Alain Aoun |
2021 – 2025 |
Machine Learning based Memory Load Approximation |
Formal Verification Engineer, Amalent, Ottawa, Canada |
|
| Elif Deniz |
2020 – 2024 |
Formalization of Partial Differential Equations in HOL Theorem Proving |
Postdoc, Western University, London, ON, Canada |
|
| 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 ElMhamdi |
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 |
|
| JounaidiBen 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 |
|