Michael Perry Software MathematicianTwitter @michaellperry
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's been recognized as a Microsoft MVP for sseven years. He maintains the spoon-bending Assisticant, Correspondence, and Jinaga open-source libraries. He shared videos about distributed systems at historicalmodeling.com. And he helps his clients at Improving benefit from the power of software mathematics.