I am a Ph.D. research fellow in Bergen, Norway, and a software engineer.

Research areas

• Model-driven software engineering
• Multi-model driven software engineering
• Behavioral Modeling

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
• 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
• 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
• 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)

Software engineering

I have worked as a software engineer in the past in Hannover, Germany. Among other things, I have acquired knowledge about the following:

• Java (Gradle, Maven, Spring)
• Typescript & Javascript (Angular, Ionic, HTML, CSS, diagram-js, bpmn-js)
• Rust
• Version Control (Git, SVN)
• CI/CD (Jenkins, GitHub Actions, GitLab)
• Databases (SQL, NoSQL)
• System Architecture & System Integration
• Test-Driven development
• Agile Development (Scrum and Kanban)

Projects

• Smart CoP: An app to calculate the difficulty of a gymnastics routine.
• Visual Debugger: A plugin for IntelliJ which visualizes debugging variables in an object diagram.
• BPMN Analyzer: Formal analysis of BPMN process models