Karthikeyan Bhargavan, INRIA Paris-Rocquencourt