In Winter 2017 I'm teaching an advanced topics course, CSE 599F1: Constraint Languages.
Here are web pages for other courses I've taught in the last several years:
Office: CSE 478
Phone: (206) 543-6678
Fax: (206) 543-2969
Dept. of Computer Science and Engineering
University of Washington
Seattle, WA 98195-2350