معرفی
Thomas P. Jensen is a Researcher at INRIA Rennes, France, specializing in program analysis, software security, and abstract interpretation. With a Cand. scient. in Computing and Mathematics from the University of Copenhagen (1990) and a PhD from Imperial College, University of London (1992), he has led research teams at INRIA, including the Celtique project-team (2010-2022) and currently the Epicure project-team (since 2022). He holds a Habilitation à diriger des recherches from Université Rennes 1 (1999).
Research Focus
- Program analysis with type-based and big-step semantics approaches
- Certification of static analysis tools for embedded systems
- Software fault isolation and language-based security
- Information flow control through hybrid static-dynamic analysis
His work spans Java security (including Java Card and mobile telephony) and formal verification of compilers and sandboxes. Notable projects include JavaSec, AJACS, and the CominLabs cybersecurity network. He received a Best Paper Award at GPCE 2018.
Publications & Editorial
Recent publications focus on algebraic data types, automata-based verification, and control-flow analysis with applications in cybersecurity. He has contributed to the Strategic research and innovation roadmap for SPARTA (2022) as editor. His work appears in top venues like POPL, PLDI, ICFP, and ESOP.
Leadership
- Director of Laboratoire d'Excellence CominLabs (since 2022)
- Co-chair of VMCAI 2026 and member of PriSC 2024 Program Committee
