Philippe Bernadat, HP Labs