University of Amsterdam, Inria