Steam-powered Turing Machine University of Washington Computer Science & Engineering
 PMP Course Offerings for 2002-2003
  CSE Home     PMP Home  About Us    Search    Contact Info 

Prospective Student Information
 Program Overview
 Courses
 Student Profiles
 Faculty Profiles
 FAQ
 Advising
Admissions
 Admission Requirements
 Dates
 Forms/Instructions
Current Student Information
 Current Courses
 Links of Interest

Our next in-person PMP information
session is Mon. April 9 at 5:00 pm!

Our next on-line PMP information
session is Mon, March 26 at 5:00 pm!

Click on the "Advising" link above for
details.

Our next PMP application deadline is
July 1st for Autumn 2012.

   

Classes for the 2002-2003 academic year are as follows. 1996-97 offerings, 1997-98 offerings,1998-99 offerings, 1999-2000 offerings, 2000-2001 offerings, and 2001-2002 offerings are also available for review.


Fall 2002:

CSE 582 Compiler Construction
Hal Perkins - Instructor (Distance Course)
Day/Time: Tuesday & Thursday 6:30-7:50 pm; Place: UW: Sieg Hall, Room 322; MS: Red West F1002

Principles and practice of building efficient implementations of modern programming languages. Lexical, syntactic, and semantic analysis of program. Intermediate program representations. Intra- and interprocedural analysis and optimization. Run-time system techniques. Related programming environment facilities such as source-level debuggers and profilers. Prerequisite: CSE majors only.

CSE 596 Parallel Computation
Larry Snyder - Instructor
Day/Time: Monday 6:30-9:20 pm; Place: EE1-003

A survey of parallel computing including the processing modes of pipelining, data parallelism, thread parallelism and task parallelism; algorithmic implications of memory models; shared memory and message passing; hardware implementations; bandwidth and latency; synchronization, consistency, interprocessor communication; programming issues including implicit and explicit parallelism, locality, portability. Prerequisite: CSE majors only.

CSE 576 Image Understanding
Linda Shapiro - Instructor
Day/Time: Wednesday 6:30-9:20 pm; Place: EE1-003

Overview of computer vision, emphasizing the middle ground between image processing and artificial intelligence. Image formation, pre-attentive image processing, boundary and region representions, and case studies of vision architectures.


Winter 2003:

CSE 592 Applications of Artificial Intelligence
Henry Kautz - Instructor (Distance Course)
Day/Time: Thursday 6:30-9:20 pm; Place: UW:Sieg 322, MS:Red West F1002

Introduction to the use of artificial intelligence tools and techniques in industrial and company settings. Topics include: foundations (search, knowledge representation) and tools such as expert systems, natural language interfaces and machine learning techniques. Prerequisite: CSE majors only.

CSE 590 Business Basics for Computer Science Professionals
Emer Dooley - Instructor
Day/Time: Tuesday 6:30-9:20 pm; Place: EE1 (Electrical Engineering Building), room 045

A high-level view of business for non-business students. Covers business principles relevant to the software industry in four areas: Competitive Strategy, Finance, Accounting and Human Resources. Organized as a series of case studies and lectures, the course will progress from an emphasis on "tools" to a more high-level look at competitive dynamics in high-tech industries.

CSE 590 Computational Biology
Martin Tompa - Instructor
Day/Time: Wednesday 6:30-9:20 pm; Place: Mary Gates Hall, room 44

This course introduces computational methods for understanding biological systems at the molecular level. Problem areas such as mapping and sequencing, sequence analysis, structure prediction, phylogenic inference, regulatory analysis. Techniques such as dynamic programming, Markov models, expectation-maximization, local search. Prerequisite: CSE majors only.


Spring 2003:

CSEP 548 Computer Architecture
Susan Eggers - Instructor
Day/Time: Tuesday 6:30-9:20 pm; Place: ROOM LOCATION HAS CHANGED TO EE1-003

Architecture of the single-chip microprocessor: instruction set design and processor implementation (pipelining, multiple issue, speculative execution). Memory hierarchy: on-chip and off-chip caches, TLB's and thei r management, virtual memory from the hardware viewpoint. I/O devices and control: buses, disks and RAIDs. Shared-memory multiprocessors and cache coherence. Prerequisite: CSE majors only.

CSEP 521 Applied Algorithms
Tami Tamir - Instructor
Day/Time: Monday 6:30-9:20 pm; Place: ROOM LOCATION HAS CHANGED TO EE1-037

Principles of design of efficient algorithms with emphasis on algorithms with real world applications. Examples drawn from computational geometry, biology, scientific com putation, image processing, combinatorial optimization, cryptography and operations research. Prerequisite: CSE majors only.

CSEP 545 Transaction Processing for E-Commerce
Phil Bernstein - Instructor (Distance Course)
Day/Time: Thursday 6:30-9:20 pm; Place: UW:Sieg 322, MS: Building 113/1159

Technology supporting reliable large-scale distributed computing on the Internet, especially e-commerce. Topics include the transaction abstraction, application servers and TP monitors, transactional communications, persistent queuing and workflow, software fault tolerance, concurrency control and recovery algorithms, distributed transactions, two-phase commit, and data replication. Prerequisite: CSE majors only.

CSEP 546 Data Mining
Pedro Domingos - Instructor
Day/Time: Wednesday 6:30-9:20 pm; Place: EE1-037

Methods for identifying valid, novel, useful and understandable patterns in data. Topics to be covered include: induction of predictive models from data (classification regression, probability estimation); clustering; and association rules. Prerequisite: CSE majors only.


Summer 2003:

CSEP 590 Model Checking and Software Verification
David Richardson - Instructor
Day/Time: Wednesday 6:30-9:20 pm; Place: TBD

An introduction to model checking and its applications to hardware and software verification. Topics include modeling concurrent systems, model checking using temporal logics and the mu-calculus, binary decision diagrams, symbolic model checking, model checking and automata theory, techniques for dealing with state space explosion, and other forms of static analysis. Practical applications of model checking including software verification and understanding of and experimentation with commercial and research model checkers will constitute a large part of the course.


Additional Autumn, Winter, and Spring Offerings:

CSE 519 Computer Science Research Seminar
Schedule and Access Information

Weekly presentations on current research activities by members of the department. Only Computer Science graduate students may register, although others are encouraged to attend. Credit/no credit only. Prerequisite: CSE majors only.

CSE 520 Computer Science Colloquium
Schedule and Access Information

Weekly public presentations on topics of current interest by visiting computer scientists. Credit/no credit only. Prerequisite: CSE majors only.

Please note that 519 and 520 are not offered during the summer quarter.


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