Benny Pinkas, HP Labs