[Back]
Karthikeyan Bhargavan
INRIA, Prairie Research Institute, MPRI