I'm a software engineer and Ph.D. candidate in Bergen, Norway.

Tags

app gymnast gymnastics tutorial privacy BPMN formalization model checking debugging visualization IntelliJ control-flow analysis quick fix

#app

#gymnast

#gymnastics

#tutorial

#privacy

#BPMN

#formalization

#model checking

#debugging

#visualization

#IntelliJ

#control-flow analysis

#quick fix