A quality and testing enthusiast currently working in the digital payments space. Interested in bringing formal methods to mainstream industry.