Florian David, LIP6/INRIA