Senior Lecturer
Contact information
| Dept: | Institute of Technology |
|---|---|
| Room: | CP 225 |
| Phone: | 253-692-4540 |
| Email: | dmzimm@u.washington.edu |
| Web: | http://faculty.washington.edu/dmzimm/ |
Biography
Research Focus:
Applied Formal Methods
Teaching Focus:
Object-Oriented Programming,
Applied Formal Methods, Computer Science Theory
Recent Experience:
Research Scientist, California Institute of Technology
![[menu item]](/graphics/arrow_r_black.gif){kind=icon}
Search for people:
