Software is math. Every class is a theorem. The compiler is the proof. And unit tests check our work.
Michael has recorded Pluralsight courses on CQRS, XAML Patterns, and Cryptography, in addition to Provable Code. He maintains the spoon-bending Assisticant, Correspondence, and Jinaga open-source libraries. He podcasts about the intersection between software and mathematics at qedcode.com. And he helps his clients at Improving benefit from the power of software mathematics.