I am a software engineer and Ph.D. candidate located in Bergen, Norway.

Software engineering

I apply my software engineering skills on a daily basis to validate my research ideas. Previously, I worked full-time as a software engineer in Hannover, Germany. Among other things, I have acquired knowledge about the following:

• Java (Spring, Gradle, Maven)
• 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

• Rust BPMN Analyzer: Instantaneous BPMN control-flow analysis and error resolution.
• 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, 2023.
• 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)
• Open-access research paper (DOI: 10.4230/LIPIcs.CALCO.2023.7)
6. The Visual Debugger: Past, Present, and Future. To appear in IDE workshop at the 46th International Conference on Software Engineering (ICSE 2024)
• Preprint (arXiv / GitHub)
• Open-access research paper (DOI: 10.1145/3643796.3648443)
7. A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems. To appear in Logical Methods in Computer Science
• Preprint (arXiv / GitHub)
• Open-access research paper (DOI: TBD)