He was a researcher at INRIA (LORIA Lab, France) from 2000 to 2012 and head of the TRIO team (Real-Time and Interoperability). Before joining INRIA, he was with the Gemplus Research Labs working on operating systems for smartcards.