Joseph Tucek, HP Labs