Formal Methods Learner (2019-), Software Engineer in Test (2018-), iOS/Web app developer, Git Challenge Problem Author (-2018). /kɯɲiːwʌk/
