Barry Leiba, computer scientist, IBM Research Division