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, Canada, 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
You are now leaving the American University of Sharjah website.

By continuing, you will be taken to a website not affiliated with American University of Sharjah. Links to external sites are provided only for users' convenience and imply no endorsement of the site and/or its content. Note that the privacy policy and security settings of the linked site may differ from those of the AUS website.

Open link