Courses

---

• User Interface Design: Social and Technical Issues, CSE 171, Spring 2006; undergrad user interface design course, to be taught by Dana Dahlstrom. Versions from Spring 2003, Spring 2002, Spring 2001, Winter 2000 are also online.
   
• User Interface Design: Social and Technical Issues, CSE 271, a project oriented graduate course, will not be taught in Spring 2006. Versions from Spring 2003, Spring 2002 and Spring 2001 are online.
   

---

• Stories, Computers and Semiotics, CSE 87D, Winter 2006; an undergraduate seminar; this course was cancelled.
   
• Principles of Programming Languages, CSE 130, Winter 2006; class taken over by Ranit Jhala in 7th week, mainly ML; previously taught Winter 2005.
   
• Topics in Software Engineering, CSE 218B, Winter 2006. We will discuss participants experience with building software systems, and principles for building systems that meet user needs, including iterative programming, test-driven programming, value-driven design, and algebraic specification.

---

• Principles of Software Engineering, CSE 210, Spring 2005, taught by Griswold, Krueger, Jhala, Goguen, and Hollan; I taught week 8, on algebraic specification and verification, with application to concurrent distributed systems.
   
• User Interface Design: Social and Technical Issues, CSE 171, Spring 2005; undergrad user interface design course. Versions from Spring 2003, Spring 2002, Spring 2001, Winter 2000 are also online.
   
• User Interface Design: Social and Technical Issues, CSE 271, Spring 2005; graduate user interface design course. The Spring 2003, Spring 2002 and Spring 2001 versions are also online.
   

---

• Principles of Programming Languages, CSE 130, Winter 2005; previously taught Winter 2004.
   
• Future Interactive Media, CSE 87B, Winter 2005; an undergraduate seminar. See also Computational Narratology, CSE 87C, Winter 2004.
   

---

• Meaning and Computation Seminar, CSE 294; graduate seminar on topics in meaning and computation.
   
• User Interface Design: Social and Technical Issues, CSE 271, Spring 2004; graduate user interface design course. The Spring 2003, Spring 2002, and Spring 2001 versions are also online.
   

---

• Social and Ethical Issues in Information Technology, CSE 175, Fall 2003; previously taught Winter 2001.
   
• Social Aspects of Technology and Science, CSE 275, Fall 2003; previously taught Fall 2000.
   

---

• Principles of Programming Languages, CSE 230, Winter 2003; graduate course, with some emphasis on semantics. The Winter 2002 version is also online.
   

---

• Discrete Mathematics, CSE 20, Spring 1998.
   
• Statistics and Probability for Manufacturing, CSE 270, Fall 1996.
   

---

• Algebraic semantics of imperative programs, as taught at Oxford University, 1990 - 1995.
   
• Theorem Proving and Algebra, as taught at Oxford University, 1990 - 1995.

---

Maintained by Joseph Goguen
Last modified: 20 March 2006