Gaël Thomas, LIP6/INRIA