Ibrahim K. El-Far is a doctoral candidate in computer sciences at the Florida Institute of Technology under the academic supervision of professor James A. Whittaker. He has a Bachelor of Sciences and a Master of Sciences in Computer Science from the American University of Beirut, Beirut, Lebanon and the Florida Institute of Technology, Melbourne, Florida, USA, respectively, and he is a member of the Association for Computing Machinery. His interests are in investigating software models for testing, test automation and tools, adequacy criteria, test cost and effectiveness, and software testing education. In 2000, Ibrahim received a fellowship from the International Business Machines Center for Advanced Studies, Canada, supporting his research in approaches to interpreting, understanding, and analyzing software test effectiveness and efficiency. He has over four years of experience in model-based testing using finite state machines at the Center for Software Engineering Research at Florida Tech, where he has supervised the development of experimental model-based testing tools, advised model-based testing groups, and taught model-based testing in various formats to a variety of students. You can contact Ibrahim at email@example.com or write him at the Software Engineering Program, Computer Sciences Department, Florida Institute of Technology, 150 West University Boulevard, Melbourne, Florida 32901 USA.