1900 Commerce St., Box 358426
Tacoma, WA 98402 U.S.A.
email: dmz at acm dot org
phone: +1 253 692 4540
I am currently a senior lecturer of Computer Science and Systems at the Institute of Technology, University of Washington Tacoma, and was 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 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.