I am senior researcher (directeur de recherche) at CNRS, the largest French national scientific research agency. I work at VERIMAG, a computer science laboratory jointly operated by CNRS and the University of Grenoble. I also am part-time associate professor (professeur chargé de cours d’exercice incomplet, quite a mouthful) at École polytechnique near Paris, where I teach logic, computability, complexity and software verification.