CNRS researcher at the University of Bordeaux, working on computability theory, in particular algorithmic randomness and Kolmogorov complexity.