Jean-Pierre Lozi, LIP6/INRIA