Steam-powered Turing Machine University of Washington Computer Science & Engineering
 CSE 322: Introduction to Formal Models in Computer Science, Spring 2006
  CSE Home  About Us    Search    Contact Info



Atri Rudra   (atri "at" cs)
Office: Allen 210, Ph: 685-2036
Office Hours: Mon, 2:30-3:30pm;
                       Wed, 2:30-2:50pm;
                       Fri, 2:30-2:50pm;
                       Or by appointment.


Teaching Assistants:

  • Jenny Liu (jen "at" cs)
    Office hours: Wed, 4:00-4:50pm (CSE 216)
                          Thu, 2:30-3:20pm (CSE 218)
  • Tobias Roseman (tobyr "at" cs)
    Office hours: Tue, 2:30-3:20pm (CSE 218)

Meeting Times:

  • Monday, Wednesday, and Friday, 1:30-2:20pm.
  • Location:  JHN 175.




Problem Sets 

Reading Assignments


Slides and such like

Mailing List:

Text Book


Grading (Rough split)

There will be extra credit (for bonus questions on some assignments).

Suggestions or Comments?

We would be happy to get feedback from you. You can either

CSE logo Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA  98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX