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

 

Instructor:                                                

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.



 

Postscript

Syllabus

Problem Sets 

Reading Assignments

Handouts

Slides and such like

Mailing List:

Text Book

Exams

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