CSE 322 : Introduction to Formal Models in Computer Science

Autumn 1997

Course Organization and Syllabus

 

Instructor:

Paul Young

211 Sieg Hall, 543-4229

young@cs.washington.edu

Office Hours:

MW 11:30-12:30*

*By appointment in class or e-mail prior to class. Also by appointment with more advanced notice at other times, or you can try just dropping in.

 

TA:

Geoff Hulten

104 Chateau, 616-1843

ghulten@cs.washington.edu

Office Hours: 

TH 1:30-2:30 in 326a Sieg*

*I'll be there at the start of the hour, but if people don't show up I may return to my office in the Chateau. If you get to 326a and I'm not there, send me some email and I'll hurry over.

 

 

Welcome to the CSE 322 course web page.

Class Time & Place: MWF 10:30-11:20; MEB 242 (unless room can be changed)

Final Exam: Friday, Dec 12 from 8:30 to10:20

Prerequisites: CSE321

You might be interested in looking at the web pages for some previous offerings of CSE 322. After that check out this quarter's course syllabus, first assignment, second assignment, and third assignment. Finally, make sure you check back here once in a while for any updates or changes.