I'm a Software Engineer II at Microsoft in Oslo,
.
Home
Projects
About
Résumé
Tags
app
gymnast
gymnastics
tutorial
privacy
BPMN
formalization
model checking
debugging
visualization
IntelliJ
control-flow analysis
quick fix
#app
Smart CoP: calculate your gymnastics difficulty
Smart CoP: Kurzeinführung
Smart CoP: Quick Tutorial
Smart CoP: Privacy policy
Smart CoP: Privacy policy
#gymnast
Smart CoP: calculate your gymnastics difficulty
#gymnastics
Smart CoP: Kurzeinführung
Smart CoP: Quick Tutorial
#tutorial
Smart CoP: Kurzeinführung
Smart CoP: Quick Tutorial
#privacy
Smart CoP: Privacy policy
Smart CoP: Privacy policy
#BPMN
BPMN Analyzer: Formal analysis of BPMN process models
BPMN Analyzer 2.0: Instantaneous BPMN control-flow analysis and error resolution
#formalization
BPMN Analyzer: Formal analysis of BPMN process models
#model checking
BPMN Analyzer: Formal analysis of BPMN process models
#debugging
Visual Debugging in IntelliJ
#visualization
Visual Debugging in IntelliJ
#IntelliJ
Visual Debugging in IntelliJ
#control-flow analysis
BPMN Analyzer 2.0: Instantaneous BPMN control-flow analysis and error resolution
#quick fix
BPMN Analyzer 2.0: Instantaneous BPMN control-flow analysis and error resolution