Daniel M. Zimmerman, Ph.D.

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. He also received a B.S. in Engineering and Applied Science in 1996, and an M.S. in Computer Science in 1998. His research interests are formal methods, distributed computing and software engineering. He is one of the designers and implementers of the Infospheres Infrastructure, one of the first communications middleware packages for Java, and the designer and implementer of ÜberNet, a modular, dynamic communications middleware package that was the core of his M.S. thesis. His research efforts to date have earned him a graduate research fellowship from the National Science Foundation. In addition, he has worked as a system administrator and consultant, supporting web projects that garner over a million hits per month.