Thomas Jensen
About Thomas Jensen
Thomas Jensen is a Research Director based in Rennes, France, specializing in computer science research, particularly in software security and formal methods for verification.
Work at Inria
Thomas Jensen serves as a Research Director at Inria, a prominent French national research institution dedicated to computer science and applied mathematics. He is based in Rennes, France, where he contributes to advancing research in various areas of computer science. His work focuses on formal methods for verification, which are essential in ensuring the reliability and security of software systems.
Education and Expertise
Thomas Jensen studied at Imperial College London, where he pursued a degree in Computing. He completed his PhD from 1990 to 1992, gaining expertise in areas related to software security and formal methods. His educational background has equipped him with a strong foundation in computer science, enabling him to contribute significantly to research and development in his field.
Background
Based in Rennes, France, Thomas Jensen has established a career in computer science research. His focus on formal methods for verification highlights his commitment to improving software reliability and security. His geographical location in Rennes places him in a vibrant research community, facilitating collaboration with other experts in the field.
Achievements
Thomas Jensen has made notable contributions to the field of computer science, particularly in software security and formal methods for verification. His role as a Research Director at Inria underscores his leadership in advancing research initiatives. His academic background and ongoing research efforts reflect his dedication to enhancing the safety and reliability of software systems.