Kostas Chatzikokolakis

CNRS 1st Grade Researcher (CR1) at LIX, École Polytechnique.
Member of the Inria team Comète.

My main areas of research are security & privacy, in particular quantitative information flow, location privacy and differential privacy, as well as probabilistic verification and concurrency.