I am professor professor of computer science at the University of Rennes. My research interests include semantics, theorem proving, static analysis, verified compilation and software security.