I'm a Software Engineer II at Microsoft in Oslo, :norway:.

BPMN Analyzer 2.0: Instantaneous BPMN control-flow analysis and error resolution :fire:

Visual Debugging in IntelliJ :beetle:

BPMN Analyzer: Formal analysis of BPMN process models :chart_with_upwards_trend:

Smart CoP: calculate your gymnastics difficulty :muscle: