Profile Image

I am currently working as a Software Engineer II at Microsoft Logo Microsoft in Oslo, Norwegian Flag and wrapping up my PhD. Before I studied and worked in Hannover, German Flag.

Software engineering

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

Projects

Research areas

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).
  2. The Visual Debugger Tool. In 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME).
  3. Formalization and analysis of BPMN using graph transformation systems. In 16th International Conference on Graph Transformation (ICGT 2023).
  4. Behavioral consistency in multi-modeling. The Journal of Object Technology, Vol. 22, Issue 2, 2023.
  5. Structural Operational Semantics for Heterogeneously Typed Coalgebras. In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023).
  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).
  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).
  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.
  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).