ztatlock@cs.washington.edu
Bill & Melinda Gates Center Room 201 (campus map)
Zachary Tatlock Paul G. Allen School of Computer Science & Engineering University of Washington Box 352355 Seattle, WA 98195-2355