David Harel, Ph.D., is Dean of the Faculty of Mathematics and Computer Science at The Weizmann Institute of Science in Rehovot, Israel. Dr. Harel is also a founder and chief scientist of I-Logix, Inc., the global firm that developed the STATEMATE system, and has been a visiting researcher and scientist at Carnegie-Mellon and Cornell Universities, as well as at Lucent Technologies and IBM. Michal Politi has an M.Sc. in computer science from the Weizmann Institute of Science. She was Vice President of Development for I-Logix Israel, responsible for the methodology and implementation of STATEMATE. She has also headed computer research and development projects for the Israeli Defense Forces.