SeSFJava A Framework for Design and AssertionTesting of Concurrent.pdf

T A M E R M . E L S H A R N O U B Y Department of Computer Science, University of Maryland, College Park, MD 20742. Phone:(240) 499-4159 E-mail: sharno@ URL: /~sharno RESEARCH INTERESTS Mechanical testing of distributed systems implementations (e.g., network and security protocol, peer-to-peer systems, and web services) against their formal specifications of desired behavior. Formal specification and verification of distributed systems. Distributed systems design. EDUCATION 1997–2005 University Of Maryland College Park, MD Ph.D. in Computer Science. Advisor: Prof. A. Udaya Shankar. Date of graduation: August 2005. Ph.D. Dissertation Title: SeSFJava: A Framework for Design and Assertion-Testing of Concurrent Systems. 1994–1997 Alexandria University Alexandria, Egypt M.Sc. in Computer Science from Department of Computer Science and Automatic Control, Faculty of Engineering. 1989–1994 Alexandria University Alexandria, Egypt B.Sc. in Computer Science and Automatic Control from Department of Computer Science and Automatic Control, Faculty of Engineering. WORK EXPERIENCE 2005-Current Universit