Gilles Muller, LIP6/INRIA