Scholarly literature on interpersonal communication, including historical development and conceptualization, survey of current research and theoretical development and critique of methodologies. Emphasis on reciprocal causal relationships between communication patterns and the social order, and implications of this relationship for individual action and cultural change. Required of students specializing in this area.

Description not available at this time

Ecosystems across the globe under threat. Defining good conservation policies is difficult because many aspects of ecosystems and our impacts on them are poorly understood. However, new data resources are emerging that can help us understand and manage ecosystems more effecitively, if we can develop the algorithms to understand and use this data well.

Course description not available at this time.

A course on the mathematical foundations of programming languages, focusing on semantics and types. Students will learn to build language features and prove them correct using the Coq proof assistant.

Interpretations of major themes as developed in works of leading historians. Mr. Glassberg, Mr. McFarland, Mr. Nightingale

Introduction to formal language theory. Topics include finite state languages, context-free languages, the relationship between language classes and formal machine models, the Turing Machine model of computation, theories of computability, resource-bounded models, and NP-completeness. It is recommended that students have a 'B-' or better in CMPSCI 311 in order to attempt CMPSCI 501.

Introduces students to the principal activities involved in developing high-quality software systems. Topics include: requirements analysis, formal specification methods, process definition, software design, and risk management.

Introduction to the efficient management of large-scale data. Principles for representing information in the relational model and semi-structured data models (XML, JSON); query languages for analyzing and manipulating data (SQL and others); core systems principles for data management (file organizations, query optimization, indexing, distributed data processing, concurrency control).

Late-imperial China during the Song, Yuan, Ming and Qing dynasties, with special emphasis on China's contacts with the maritime nations of the West and Japan from the 16th through the 19th centuries. How and why the Middle Kingdom's ancient cultural traditions were assailed by internal and external forces.