CPSC468/568: "Computational Complexity" (Spring 2007,
Fall 2007, Fall 2008, Fall 2009, Fall 2010, and Fall 2012)
Introduction to the theory of computational complexity. Basic complexity classes, including polynomial time, nondeterministic polynomial time, probabilistic polynomial time, polynomial space, logarithmic space, and nondeterministic logarithmic space. The roles of reductions, completeness, randomness, and interaction in the formal study of computation. After Computer Science 365 or with permission of the instructor. For more information, see the web pages for CPSC468/568 -- Fall 2012, CPSC468/568 -- Fall 2010, CPSC468/568 -- Fall 2009, CPSC468/568 -- Fall 2008, CPSC468/568 -- Fall 2007, and CPSC468/568 -- Spring 2007.
CPSC202: "Mathematical Tools for Computer Science"
(Fall 2009 and Fall 2012)
Introduction to formal methods for reasoning and to mathematical techniques basic to computer science. Topics include propositional logic, discrete mathematics, and linear algebra. Emphasis on applications to computer science: recurrences, sorting, graph traversal, Gaussian elimination. For more information, see the webpages for CPSC202 -- Fall 2012 and CPSC202 -- Fall 2009.
ECON425/563 // CPSC455/555: "Economics and Computation"
(Fall 2008 and Fall 2011)
A mathematically rigorous investigation of the interplay of economic theory and computer science with an emphasis on the relationship of incentive compatibility and algorithmic efficiency. Particular attention is paid to the formulation and solution of mechanism-design problems that are relevant to data networking and Internet-based commerce. Suitable for mathematically inclined advanced undergraduates and first- or second-year graduate students in Computer Science, Economics, or closely related fields. Familiarity with basic microeconomic theory and basic computational theory is desirable but not a formal prerequisite. For more information, see the web pages for 2011 and 2008. (An earlier incarnation of this course was offered solely by the CS department. See CPSC455 -- Spring 2006, CPSC455 -- Spring 2003, and CPSC455 -- Spring 2002.)
CPSC156: "The Internet: Co-Evolution of Technology and Society"
(Fall 2003 and Spring 2007)
The purpose of CPSC156 is for students who are not Computer Science majors to understand in some depth how the Internet works and why it is an interesting and productive forum for human interation. Topics to be covered include but are not limited to Internet architecture and design philosophy, Internet-based business, user privacy, online identity, and digital copyright. Required work will include "hands-on" assignments in which students build simple Internet artifacts or use the net to accomplish something that would be difficult to accomplish offline and short-essay homework assignments and exams. The course will cover some of the material previously covered in CPSC155, but it will also cover some non-business-related "social issues" and, unlike CPSC155, will include a significant technology component and "hands-on" problem sets. There will be reading assignments to supplement lectures and written homeworks. Students who have already taken CPSC155 may not take CPSC156 for credit but may audit it. For more information, see the web pages for CPSC156 -- Spring 2007 and CPSC156 -- Fall 2003.
CPSC457/557: "Sensitive Information in a Wired World" (Fall
2003, Spring 2006, and Fall 2011)
Increasing use of computers and networks in business, government, recreation, and almost all aspects of daily life has led to a proliferation of online sensitive data, i.e., data that, if used improperly, can harm data subjects. As a result, concern about the ownership, control, privacy, and accuracy of these data has become a top priority. This course focuses on both the technical challenges of handling sensitive data and the policy and legal issues facing data subjects, data owners, and data users. For more information, see the web pages for CPSC457 -- Fall 2011, CPSC457 -- Spring 2006, and CPSC457 -- Fall 2003.
CPSC155: "E-Commerce: Doing Business on the Internet" (Fall
2001, Spring 2001, and Spring 2003)
Introduction to Electronic Commerce. The emphasis is on Internet-based business and the relationship of business developments to underlying technological developments. Some of the readings also cover business models and legal, social, and political implications. Suitable for all Yale undergraduates; the only prerequisite is Internet literacy. For more information, see the web pages for CPSC155 -- Spring 2003, CPSC155 -- Fall 2001, and CPSC155 -- Spring 2001.
CPSC655, "E-Commerce Foundations" (Fall 2000)
Advanced graduate seminar on current technical developments that are important to electronic commerce. Topics include the relationship of computational feasibility to incentive-compatibility; cryptography, authorization mechanisms, and digital rights management; massive data sets, database technology, and datamining algorithms.