He received a habilitation (hdr) in Computer Science (11/2013) from the University of Lorraine, and a PhD in Computer Science (12/2001) from the University of Henri Poincare at Nancy, France. From 02/2002 to 08/2004, he was a researcher at the University of California at Santa Cruz, California (UCSC). He was also a lecturer at Baskin School of Engineering, Computer Science, UCSC during 2003-2004.