Michael Reed is a mathematical scientist and computational language designer who created Grassmann.jl, Cartan.jl, and the Unified System of Quantities (USQ) for physics implemented in the UnitSystems.jl project. His background is based on experience with signal processing, aerospace engineering, mathematical analysis, category theory, differential geometric algebra. Proof of a new multilinear Lie bracket recursion formula is his most significant math theorem.