HOME
Hesham Saadawi
Senior Systems Analyst & Software Engineering Advisor (Sept. 2017 - Present)
Government of Canada
-------------------------------------------------------------
Visiting Assistant Professor (Aug. 2016- July. 2017)
Information Technology Management,
Ted Rogers School of Management,
Ryerson University , Toronto, ON, Canada
-------------------------------------------------------------------------------
Visiting Assistant Professor (Sept. 2013- Aug. 2014)
Department of Computer and Information Sciences
University of St Thomas, St Paul, MN, USA
E-mail: hsaadawi@hotmail.com
HeshamSaadawi@cmail.carleton.ca
Ph.D. Computer Science, Carleton University, Ottawa, Canada, 2013
M.Sc. Computer Science, Carleton University, Ottawa, Canada, 2003
Graduate Diploma of Information & Computer Science, ISSR, Cairo University, 1992
B.Sc. Mechanical Engineering, Power systems, Ain Shams University, 1990
Research Interests:
Formal methods for Simulation models verification modeled with Discrete Event System Specification (DEVS) formalism.
Model Checking of timed discrete models, model checking of hybrid discrete-continuous timed models.
Modeling & Simulation Techniques.
Model Checking State-Space Reduction Techniques.
Industrial Applications of Model Checking in Verification & Validation of Real-Time Systems.
Cyber-Physical Systems Simulation and Verification.
Acceleration techniques for Large-Scale Simulations.
Distributed & Embedded Systems Modeling and Verification.
PhD Thesis: "Verification Methodology for DEVS Models", 2012
Participating in research & teaching at School of Computer Science, Carleton University, Ottawa, Canada.