1900 Commerce St., Box 358426
Tacoma, WA 98402 U.S.A.
email: dmz at acm dot org
phone: +1 253 692 4540
I have been an assistant professor of Computing and Software Systems at the Institute of Technology, University of Washington Tacoma since September 2006. Before that, I was an undergraduate, graduate student, instructor, and research scientist in the Computer Science department at the California Institute of Technology.
My current 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.