Arbeids- og kompetanseområde
Underviser i- Undervisningsassistent i DAT107: Databasesystemer
- Undervisningsassistent i DAT103: Operativsystemer
- Undervisningsassistent i DAT100: Grunnleggende programmering
Forskar på
- Model Driven Software Engineering
- Graph Transformation
- Bidirectional Transformations
- Mathematical Foundations of Modeling
- ADA502, Cloud computing og programvaresystem, Vår 2025
- DAT191, Bacheloroppgåve, Vår 2025
- DAT250, Avanserte programvareteknologiar, Høst 2024
- DAT300, Masteroppgåve, Høst 2024
- DAT300, Masteroppgåve, Vår 2025
- ING301, Datateknologi og vidaregåande programmering for ingeniørar, Vår 2025
- PCS900, PhD disputas i datateknologi:programvareutvikling, berekningsorientert ingeniørvitskap og sensornettverk, Vår 2025
Publikasjonar
-
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
-
The Visual Debugger: Past, Present, and Future
-
Runtime Verification of Timed Petri Nets
-
Intelligent Tracing and Process Improvement of Pathology Workflows using Character Recognition
-
Behavioral consistency in multi-modeling
Laster...