Thomas Jensen is professor at University of Copenhagen and research director at INRIA, France where he leads a research group dedicated to program verification and software security. His scientific contributions covers both the logical foundations of program analysis and design of specific analyses for data, control and information flow security. He has been involved in several EU projects on IT security including the Cybersecurity Competence Network Sparta, and is member of the strategic advisory committee to Digital Research Centre Denmark