Picture of Dan
Daniel M. Zimmerman
1900 Commerce St., Box 358426
Tacoma, WA 98402 U.S.A.
email: dmz at acm dot org
phone: +1 253 692 4540

IMPORTANT: I will not be updating this page for the foreseeable future, as I have taken a position as Visiting Associate Professor of Computer Science at Harvey Mudd College. For up-to-date information, see my academic home page at Harvey Mudd.

I was a senior lecturer of Computer Science and Systems at the Institute of Technology, University of Washington Tacoma from September 2012 to June 2013, and an assistant professor of Computer Science and Systems from September 2006 to June 2012. Before that, I was an undergraduate, graduate student, instructor, and research scientist in the Computer Science department at the California Institute of Technology.

My research is primarily on the application of formal methods to the software development process, and I lead the Applied Formal Methods research group here at UWT. My other research interests include security, distributed and concurrent systems, object-oriented and component-based design (and languages), and computer science theory.

Information about the courses I am teaching/have taught and the papers (and other things) I've written is available on dedicated pages.