As inventor of the Dynamic UNITY formalism, Daniel M. Zimmerman received a Ph.D. in Computer Science from the California Institute of Technology for his work in formal methods for distributed systems design and development in 2002.