Terence Kelly, Hewlett-Packard Laboratories