Gabriele Vanoni (INRIA), TBA