معرفی
Lone Leth Thomsen is an Associate Professor at the Department of Computer Science, Aalborg University, affiliated with The Technical Faculty of IT and Design. She is a member of CISS (Center for Embedded Software Systems) and Daisy (Center for Data-intensive Systems). Her research focuses on spreadsheet semantics, parallel programming, formal verification, and programming language design.
Key research interests include operational semantics for spreadsheets, concurrency models, and energy-efficient software development. She has participated in projects such as P3: Popular Parallel Programming (2015–2019) and COST Action IC0701 (2008–2012), which addressed formal verification of object-oriented software. Recent work explores sustainable software practices and energy consumption analysis of IT systems.
Her publications emphasize spreadsheet semantics, parallel execution optimization, and formal methods. She has collaborated on projects like The Virtual Desktop and Beyond (2006–2009), focusing on service-oriented architectures in farming industries.
