College / Department
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)
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 multimedia content delivery.
PhD Computer Science, University of Ottawa, Canada, 2002
MSc Computer Science, Lebanese American Univesity, Lebanon
BA Business Administration, Lebanese American University, Lebanon
BS Computer Science, Lebanese American University, Lebanon
Visiting Researcher: Verimag Laboratory, University Joseph Fourier, France, 2007-2008
American University of Sharjah, UAE, 2001-present
Visiting Researcher: Osaka University (Japan), Tomsk State University (Russia), Institut Polytechnique de Grenoble (France), Université Antilles-Guyane (France), University of Ottawa (Canada), Nara Institute of Science and Technology (Japan).
Verification Engineering: A Nortel Company, Canada, 1998
Graduate Fellow: IBM Toronto Lab, 1997
+971 6 515 2492