Dr. Khaled El Fakih | American University of Sharjah


College / Department

Teaching areas

Software Engineering (COE 531, CMP/COE 420), Software Testing (CMP 454), Formal Specification Methods (CMP 451), Formal Languages (CMP 470), Discrete Mathematics (CMP 213), Programming (CMP 220, CMP 120, CMP 108), Introduction to Engineering & Computing (NGN110), Introduction to Statistical Analysis (NGN 111), Computing Fundamentals (CMP 111)

Research areas

Testing of systems modeled as timed, untimed, and extended finite state machines. Synthesis of distributed systems (Decomposition of Petri net services, Solving automata equations). Optimization with application to protocol synthesis, testing, and cloud computing.


PhD, Software Engineering, University of Ottawa, 2002

Professional experience

Visiting Researcher, Verimag Laboratory, University of Grenoble-1, France, 2007 - 2008
Product Verification Engineer, Ambrian systems Corporation (a Nortel Company), Ottawa, Canada, 1998 - 1998
Graduate Research Fellow, Toronto Lab, IBM, Ottawa, Canada, 1996 - 1997
+971 6 515 2492