Biographical sketches of authors

Eitan Farchi   IBM Research Division, Haifa Research Laboratory, MATAM, Haifa 31905, Israel (electronic mail: farchi@il.ibm.com). Dr. Farchi received his Ph.D. degree in mathematics from the University of Haifa, Israel, in 1999. He also holds a B.Sc. degree in mathematics and computer science and an M.Sc. degree in mathematics from the Hebrew University, Jerusalem, Israel. Since 1992 he has been with the IBM Haifa Research Laboratory, where he led an effort toward improving the performance of operating systems. He is currently involved in software testing and in developing coverage-directed tools for testing concurrent and distributed programs. Dr. Farchi is a frequent speaker at software testing conferences, is the author of a tutorial on the testing of distributed components, and teaches software engineering at the University of Haifa.

Alan Hartman   IBM Research Division, Haifa Research Laboratory, MATAM, Haifa 31905, Israel (electronic mail: hartman@il.ibm.com). Dr. Hartman is a mathematician working in the Verification Technologies Department at the IBM Haifa Research Laboratory. He received his Ph.D. degree in 1980 at the University of Newcastle, Australia, in the field of combinatorial design theory. He has worked at the University of Waterloo, the University of Toronto, and at Telstra Research Laboratories. His research interests include combinatorics, graph theory, algorithms, software and hardware verification, and communication networks design.

Shlomit S. Pinter   IBM Research Division, Haifa Research Laboratory, MATAM, Haifa 31905, Israel (electronic mail: shlomit@il.ibm.com). Dr. Pinter is a research staff member in the Systems and Software Department at the IBM Research Laboratory in Haifa, and an adjunct professor with the Computer Science Department at the University of Haifa. For her Ph.D. in computer science, awarded to her by Boston University in 1984, she wrote a thesis in the area of distributed computing. Before joining IBM in 1996, she was with the Department of Electrical Engineering at the Technion, Israel Institute of Technology (1983–1995). She was a research specialist with the Laboratory for Computer Science at MIT, Cambridge, MA (1978–1981), and a visiting scholar at Yale and Stanford Universities (1988–1989 and 1997–1998, respectively). Dr. Pinter has published extensively in international journals and conference proceedings. Her research interests include compilation techniques for advanced computer architectures, program analysis and parallelization, and distributed and parallel computing. Dr. Pinter is a member of the editorial board of the International Journal of Parallel Programming.