معرفی
Markus Krabbe Larsen is a Research Fellow at the IT University of Copenhagen, specializing in Theoretical Computer Science with a focus on Programming Logic, Semantics, and Information Security and Trust. He is actively affiliated with the Center for Information Security and Trust and the Programming Logic and Semantics research group, contributing to foundational research in secure computing systems.
His research interests center on formal methods in computer science, particularly exploring logical frameworks for semantics verification and security protocols. These areas drive his involvement in developing trustworthy digital infrastructures through rigorous theoretical approaches, with emphasis on semantic analysis and trust modeling in computational systems.
Larsen currently serves as a Co-Investigator in the DIREC (Digital Research Centre Denmark) project, funded by the Innovation Fund Denmark from October 1, 2020, to September 30, 2025. This nationwide initiative involves multiple Danish institutions focusing on digital research, with 100% coverage in Denmark-specific research and 83% Danish institutional participation. The project addresses critical gaps in information security and digital trust through collaborative academic-industry efforts (33% industry organization involvement).
He operates within ITU's research ecosystem through the Center for Information Security and Trust and Programming Logic and Semantics group, which spearhead interdisciplinary projects bridging theoretical computer science with real-world security applications. These units foster innovation in formal verification and secure system design across Denmark's digital infrastructure landscape.
