I am currently working as a Senior Software Engineer at Microsoft in Oslo, and completed my PhD at Wester Norway University of Applied Sciences. Before I studied and worked in Hannover, .

Software engineering

In my software engineering career and aquiring a PhD I have acquired knowledge about the following:

• C#, .Net, Powershell
• Java (Spring, Gradle)
• Typescript & Javascript (Angular, bpmn-js, Ionic, HTML, CSS)
• Rust (axum, tokio)
• Version Control (Git, SVN)
• CI/CD (GitHub Actions, Jenkins, GitLab)
• Containerization (Azure, GCloud)
• Databases (SQL, NoSQL)
• System Architecture & System Integration
• Test-Driven development
• Agile Development (Scrum and Kanban)

Projects

• BPMN Analyzer 2.0: Instantaneous BPMN control-flow analysis and error resolution using Rust.
• Visual Debugger: An IntelliJ plugin which visualizes debugging variables graphically with over 10k downloads.
• BPMN Analyzer: Formal analysis of BPMN process models using graph transformations.
• Smart CoP: An app available in the play store to calculate the difficulty of a gymnastics routine.

Research areas

• Model-driven software engineering, focused on executable models (BPMN, state machines)
• Debugging and Debugging tools in IDEs
• Model checking, especially BPMN model checking

Publications

1. Towards behavioral consistency in heterogeneous modeling scenarios. In 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).
• Preprint (arXiv / GitHub)
• Research paper (DOI: 10.1109/MODELS-C53483.2021.00107)
2. The Visual Debugger Tool. In 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME).
• Preprint (arXiv / GitHub)
• Research paper (DOI: 10.1109/ICSME55016.2022.00066)
3. Formalization and analysis of BPMN using graph transformation systems. In 16th International Conference on Graph Transformation (ICGT 2023).
• Preprint (GitHub)
• Research paper (DOI: 10.1007/978-3-031-36709-0_11)
• ★ Best Paper Award ★
4. Behavioral consistency in multi-modeling. The Journal of Object Technology, Vol. 22, Issue 2, 2023.
• Preprint (GitHub)
• Open-access research paper (DOI: 10.5381/jot.2023.22.2.a9)
5. Structural Operational Semantics for Heterogeneously Typed Coalgebras. In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023).
• Preprint (GitHub)
• Open-access research paper (DOI: 10.4230/LIPIcs.CALCO.2023.7)
6. The Visual Debugger: Past, Present, and Future. In 1st Workshop on Integrated Development Environments (IDE 2024) co-located with the 46th International Conference on Software Engineering (ICSE 2024).
• Preprint (arXiv / GitHub)
• Open-access research paper (DOI: 10.1145/3643796.3648443)
7. BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models. Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum at BPM 2024 co-located with 22nd International Conference on Business Process Management (BPM 2024).
• Preprint (arXiv / GitHub)
• Open-access research paper
8. A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems. Logical Methods in Computer Science, Vol. 20, Issue 4, 2024.
• Preprint (arXiv / GitHub)
• Open-access research paper (DOI: 10.46298/LMCS-20(4:4)2024)
9. Towards the Coordination and Verification of Heterogeneous Systems with Data and Time. To appear in the ACM / IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS 2025).
• Preprint (arXiv / GitHub)
• Research paper (DOI: TBD)
10. Coordination and Verification of Heterogeneous Behavioral Systems (PhD Thesis, 2025)
• PhD Thesis (University Library / GitHub)