معرفی
Jesper Bengtson is a Lecturer in Theoretical Computer Science specializing in Programming Logic and Semantics at the IT University of Copenhagen. His research primarily focuses on formal methods for programming languages, with particular expertise in session types, separation logic, and proof assistants.
Dr. Bengtson's research interests center around programming language theory and formal verification. His work explores how to mathematically verify software correctness through logical frameworks. He specializes in session types for communication protocols, separation logic for reasoning about concurrent programs, and developing tools for interactive theorem proving. His research bridges theoretical computer science with practical applications in software verification.
His publication record shows consistent contributions to programming language theory over the past decade, with a clear trend toward applying formal methods to concurrent and distributed systems. Recent work demonstrates increasing focus on mechanized verification of session type systems and integration of session types with separation logic for concurrent program verification.
Dr. Bengtson has been involved in several significant research projects including MECHANIST (MECHANIsation of Session typEs, 2021-2025), ToMeSo (Tools and Methods for Scalable Software Verifications, 2009-2013), and a general-purpose framework for software verification (2013-2017). These projects were funded by major Danish research foundations including Danmarks Frie Forskningsfond and Independent Research Foundation of Denmark.
His work has been featured in media outlets, including a 2015 article titled 'Danish researcher wants to eradicate software errors' and a 2021 piece about 'Natural or woke? Big shooter introduces controversial soldier,' indicating public engagement with his research.
