Back to top

Thomas Jensen

Thomas Jensen is INRIA director of research, professor at the

University of Copenhagen, and head of the INRIA Celtique team on

software analysis and security. He received a PhD from Imperial

College London and a Habilitation from University of Rennes. After his

PhD he joined the CNRS where he was research director until

2010. Thomas Jensen's research is concerned with the foundations of

programming languages and semantics-based program analysis where he

developed abstract interpretation in logical form, and was at the

origin of the first formally verified data flow analyzer. He has a

keen interest in the application of program analysis to software

security and has built analyses for Java and Java Card. More recently,

he has proposed hybrid information flow analysis techniques for

estimating attacker knowledge obtained via Web applications. Thomas

Jensen leads the security track in the French CominLabs Laboratory of

Excellence and is co-editor of the Sparta road map.