Thomas Jensen

Thomas Jensen is INRIA director of research, adjunct professor at the University of Copenhagen, and scientific leader of the INRIA Celtique team on software analysis and security. He received a PhD from Imperial College London in 1993 and a Habilitation from University of Rennes in 1999. Before joining INRIA, he worked at CNRS where he was research director until 2010. Thomas Jensen’s research is concerned with programming languages, semantics-based program analysis and software security. His research results include abstract interpretation in logical form, the first formally verified data flow analyzer, analysers for Java and Java Card, and hybrid information flow analysis techniques for estimating attacker knowledge in Web applications. Thomas Jensen leads the security track in the French CominLabs Laboratory of Excellence and is co-editor of the SPARTA road map.