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

Professional experience

at American University of Sharjah(2001 - Present)
Visiting Researcher at University of Grenoble-1, France(2007 - 2008)
Product Verification Engineer at ambrian systems Corporation (a Nortel Company), Canada(1998 - 1998)
Graduate Research Fellow at IBM, Canada(1996 - 1997)
+971 6 515 2492