MICHAEL PERRY

Software is math. Every class is a theorem. The compiler is the proof. And unit tests check our work.. Michael L Perry has built upon the works of mathematicians like Bertrand Meyer, James Rumbaugh, and Donald Knuth to develop a mathematical system for software development. He has captured this system in a set of open source projects.