I am a professor professor of computer science at the University of Rennes. My research interests focus on the development of trustworthy software using deductive verification