Research Interests

My research interests lie in the areas of formal methods, software verification, and didactics.

Guest editor

I am the guest editor for Nordic Workshop on Programming Theory (NWPT 2022) special issue.

Local organizer

• KeY Symposium 2023
• NWPT 2022

Program chair

I am the PC Chair of FTfJP 2025.

I am the chair of NIK 2023, which is the Norwegian Informatics Conference under NIKT.

I am the PhD Symposium Chair of iFM 2023.

Program committee

I was part of the program committee of 

• Software Verification and Testing Track (SVT) of the 38th Annual ACM Symposium on Applied Computing (SAC 2024)
• Software Verification and Testing Track (SVT) of the 38th Annual ACM Symposium on Applied Computing (SAC 2023)
• NWPT 2023
• NWPT 2022
• ICT Research School Annual Meeting 2022
• TheWebConf 2022
• UDIT 2021

I am also a member of the ECOOP 2021 Artifact Evaluation Committee.

I am a reviewer for the journal Formal Aspects of Computing.

INF113 Introduction to Operating Systems

INF100 Introduction to Programming

Gjesteredaktør

Jeg er gjesteredaktør for Nordic Workshop on Programming Theory (NWPT 2022) special issue (external link).

Lokalt arrangør

• KeY Symposium 2023 (external link)
• NWPT 2022 (external link)

Programleder

Jeg er FTfJP 2025 (external link) PC Chair.

Jeg er leder av NIK 2023 (external link), som er Norsk Informatikkkonferanse under NIKT (external link).

Jeg er PhD Symposium Chair (external link) til iFM 2023 (external link).

Programkomiteen

Jeg var en del av programkomiteen til 

• Software Verification and Testing Track (SVT) of the 38th Annual ACM Symposium on Applied Computing (SAC 2024) (external link)
• Software Verification and Testing Track (SVT) of the 38th Annual ACM Symposium on Applied Computing (SAC 2023) (external link)
• NWPT 2023 (external link)
• NWPT 2022 (external link)
• ICT Research School Annual Meeting 2022
• TheWebConf 2022 (external link)
• UDIT 2021 (external link)

Jeg var også medlem av ECOOP 2021 Artifact Evaluation Committee (external link).

Jeg er en anmelder til journalen Formal Aspects of Computing.

In software engineering, demand of customers for configuration options that address various different business concerns creates the need to manage variability by developing not just a single software system but, in fact, an entire family of software systems with similar functionality. Software Product Line (SPL) engineering is a software engineering method to efficiently develop a family of software systems by capitalizing on their similarities while explicitly handling their differences. Due to the size and complexity of these systems, SPLs constitute a major investment with long-term strategic value. Over time, SPLs have to be adapted as part of software evolution to address new requirements, which is particularly complicated as an entire software family has to be adapted. 

While existing approaches (https://dl.acm.org/doi/10.1145/3382025.3414964 (external link)) can identify the evolution paradoxes in an evolution plan of SPLs and can analyse whether an evolution plan will satisfy the given requirements, there is still lacking support for explaining why the business requirements cannot be satisfied (Thesis A). Furthermore, instead of rigorously prohibiting problematic changes, we may devise a flexible method that determines appropriate additional changes to perform to still reach the intended evolution goal when possible (Thesis B). An SPL can be defined in terms of multiple configurable features structured within a feature model, which also specifies feature dependencies. We would like to extend the current work so that feature dependencies are also taken into account in the reachability analysis of software evolution planning (Thesis C).