معرفی
Thomas Philip Jensen is a Professor in the Department of Computer Science at the University of Copenhagen, specializing in the Programming Languages and Theory of Computation research section. His work bridges theoretical computer science with practical security applications through formal methods and program verification.
His core research interests include:
- Programming Languages
- Theory of Computation
- Formal Methods
- Program Verification
- Information Flow Security
- Type Systems
Analysis of his 2020-2024 publications reveals sustained focus on security-critical program transformations, with key trends in constant-time enforcement against side-channel attacks, logical frameworks for information flow using partial equivalence relations, and refinement-type-based verification. His work consistently connects theoretical foundations to compiler security and secure workflow systems.
No scientific awards are listed in the provided information.
Details about student advising and research grants are not specified in the source materials.
Professor Jensen operates within the Programming Languages and Theory of Computation section, which leverages the Department of Computer Science's infrastructure including high-performance computing clusters and specialized research laboratories.
