Gilles Muller, INRIA