Software is math. Every class is a theorem. The compiler is the proof. And unit tests check our work.
Michael wrote The Art of Immutable Architecture, a book on applying mathematics to building distributed systems. Learn more at immutablearchitecture.com.
Michael has recorded Pluralsight courses on Distributed Systems, XAML Patterns, and Cryptography, in addition to Provable Code. Formerly a Microsoft MVP for seven years, he maintains the spoon-bending Assisticant and Jinaga open-source libraries. You can find his videos about distributed systems at historicalmodeling.com. And he helps his clients at Improving benefit from the power of software mathematics.
Michael Perry