Michael Hobbs, Hewlett-Packard Labs