Courses

This course is an introduction to computational problem solving. In each instance of the course, students will develop their abilities to abstract and model problems drawn from a particular application domain, and generate elegant and efficient solutions. Students will practice these skills by developing computer programs to solve these applied problems. The course will cover programming fundamentals, as well as the development of algorithms and data manipulation techniques related to the chosen application area. Students may earn credit for at most one of CS 109, CS 110, CS 111, and CS 112. Absolutely no prior experience is necessary.

This course is an introduction to computational problem solving. Students will develop their abilities to abstract (or model) otherwise complex problems and generate elegant and efficient solutions. Students will practice these skills by developing computer programs that solve problems motivated by research in the sciences. Additional topics may include Monte Carlo methods, data analysis, population dynamics, computational biology, genetic algorithms, cellular automata, networks, data mining, and fractals. Students may earn credit for at most one of CS 109, CS 110, CS 111, and CS 112. Absolutely no prior experience is necessary.

This course is an introduction to computational problem solving. Students will develop their abilities to abstract otherwise complex problems and generate elegant and efficient solutions. Students will practice these skills by developing computer programs that solve problems that arise in the social sciences. Topics such as social networks, population modeling in economics, data collection via polling, voting systems, game theory, and Congressional polarization will be discussed in the context of computational problem-solving. Absolutely no prior experience is necessary. Students may earn credit for at most one of CS 109, CS 110, CS 111, and CS 112.

Students meet weekly to solve a challenging programming problem. Strategies for solving problems will be discussed. Used as a preparation for programming contests.

Prerequisite(s): CS 173.

A study of intermediate level computer science principles and programming techniques with an emphasis on abstract data types and software engineering. Topics include recursion, sorting, dynamic memory allocation, basic data structures, software engineering principles, and modularization.

Prerequisite(s): CS 109 or CS 110 or CS 111 or CS 112.

This course provides a broad perspective on the access, structure, storage, and representation of data. It encompasses traditional database systems, but extends to other structured and unstructured repositories of data and their access/acquisition in a client-server model of Internet computing. Also developed are an understanding of data representations amenable to structured analysis, and the algorithms and techniques for transforming and restructuring data to allow such analysis.

Prerequisite(s): CS 109 or CS 110 or CS 111 or CS 112.

Crosslisting: DA 210.

A general category used only in the evaluation of transfer credit.

This is a mini-seminar devoted to a particular application or programming language. Topics have included: relational database and SQL, software engineering, Advanced C++, cryptography, and parallel programming.

Prerequisite(s): CS 173.

The goal of this course is to provide an understanding of the mathematical techniques that underlie the discipline of computer science. In this course, students learn mathematical proof techniques, such as induction and proof by contradiction, and how to write rigorous proofs. It also serves as an introduction to the fundamentals of the theory of computation. Models of computation, namely finite automata and Turing machines, are studied with the goal of understanding what tasks computers are and are not capable of performing.

Prerequisite(s): MATH 130 or MATH 135 or MATH 145, and CS 109 or CS 110 or CS 111 or CS 112.

In this course, students study a variety of data organization methods, and implement and analyze the efficiency of basic algorithms that use these data structures. Course topics include lists, stacks, queues, binary search trees, heaps, priority queues, hash tables, and balanced trees. Students will also be introduced to basic functional programming in LISP. The department strongly recommends that students enrolling in this course have earned a grade of C or higher in Intermediate Computer Science (CS 173) and a grade of C or higher in Mathematical Foundations of Computer Science (CS 234).

Prerequisite(s): CS 173 and MATH 135 or MATH 145 and CS 234 or MATH 300.

The Introduction to Computer Systems course provides a perspective into how computer systems execute programs, store information, and communicate. It enables students to become better problem solvers, especially in dealing with issues of performance, portability and robustness. It also serves as a foundation for courses on operating systems, networks, and parallel computing, where a deeper understanding of systems-level issues is required. Topics covered include: basic digital logic design and computer organization, machine-level code and its generation by compilers, performance evaluation and optimization, representation and computer arithmetic, and memory organization and management.

Prerequisite(s): CS 173.

A general category used only in the evaluation of transfer credit.

This course is about the computer science and theory of game design as well as practical game development. It covers computer science concepts such as 3D projection and transformation, rasterization, texture-mapping, shading, path-finding, and game theory, as well as game design topics such as mechanics, elements, theme, iteration, balance, documentation, and interest curves. A significant component of the course consists of prototyping computer games. The department strongly recommends that students enrolling in this course have earned a grade of C or higher in Data Structures (CS 271). This course is classified as an applied elective.

Prerequisite(s): CS 271.

The explosion of data collection and advances in artificial intelligence and machine learning have motivated a robust economy around data-based services. While such services provide opportunities for a broad array of individuals and companies to leverage the power of modern data analytics and machine learning, this new economy also exposes new vulnerabilities and privacy risks. This course will explore the growing area of data privacy in modern computing systems including formal frameworks such as differential privacy and secure multiparty computation. Students will work to understand techniques, issues, and trade-offs related to data privacy in a computing context. In particular, students will study: definitions of data privacy, techniques for achieving privacy, limitations and trade-offs inherent in various settings, and the relationship between privacy policy and privacy technology. The department strongly recommends that students enrolling in this course have earned a grade of C or higher in Data Structures (CS 271). This course is classified as a theory elective.

Prerequisite(s): CS 271.

This course is about the design and analysis of big data algorithms, i.e. algorithms that compute on extremely large datasets. Two frameworks are required to understand big data algorithms: MapReduce algorithms for data stored on a cluster, and streaming algorithms for data too large to store. After introducing these frameworks, the course covers numerous examples of big data algorithms, including hashing, frequency moments, Google’s PageRank algorithm, matching algorithms, clustering, the Netflix recommendation algorithm, algorithms on social network graphs, and dimensionality reduction. The analysis of such algorithms requires tools from probability theory and statistics, which will be introduced as needed.

Prerequisite(s): CS 181 or DA 210 and CS 271.

This course will continue from where CS 234 left off in studying computers as mathematical abstractions in order to understand the limits of computation. In this course, students will learn about topics in computability theory and complexity theory. Topics in computability theory include Turing machines and its variations, the Universal Turing machine, decidability of the halting problem, reductions, and proving decidability of other problems. Topics in complexity theory include the classes P and NP, NP-completeness, and other fundamental complexity classes. The Department strongly recommends that students enrolling in this course have earned a grade of C or higher in Data Structures (CS 271).This course is classified as a theory elective.

Prerequisite(s): CS 234 and CS 271.

Crosslisting: MATH 334.

This course is about the design and analysis of randomized algorithms (i.e. algorithms that compute probabilistically). Such algorithms are often robust and fast, though there is a small probability that they return the wrong answer. Examples include Google’s PageRank algorithm, load balancing in computer networks, coping with Big Data via random sampling, navigation of unknown terrains by autonomous mobile entities, and matching medical students to residencies. The analysis of such algorithms requires tools from probability theory, which will be introduced as needed. This course also covers the basics of graph theory, and several randomized algorithms on graphs. Graphs are often used to mathematically model phenomena of interest to computer scientists, including the internet, social networks graphs, and computer networks. Lastly, this course demonstrates the powerful Probabilistic Method to non-constructively prove the existence of certain prescribed graph structures, how to turn such proofs into randomized algorithms, and how to derandomize such algorithms into deterministic algorithms. The department strongly recommends that students enrolling in this course have earned a grade of C or higher in Data Structures (CS 271). This course is classified as a theory elective.

Prerequisite(s): CS 271 or MATH 242 or MATH 220 or DA 220 and MATH 300, and one from CS 109 or CS 110 or CS 111 or CS 112.

Crosslisting: MATH 427.

This course involves mathematical modeling of real-world problems and the development of approaches to find optimal (or nearly optimal) solutions to these problems. Topics may include: modeling, linear programming and the simplex method, the Karush-Kuhn Tucker conditions for optimality, duality, network optimization, and nonlinear programming.

Prerequisite(s): CS 109, CS 110, CS 111, or CS 112, MATH 213, and MATH 220 or DA 220.

Crosslisting: MATH 415.

A survey course of topics in Artificial Intelligence including search, formal systems, learning, connectionism, evolutionary computation and computability. A major emphasis is given to the philosophy of Artificial Intelligence. The department strongly recommends that students enrolling in this course have earned a grade of C or higher in Data Structures (CS 271). This course is classified as an applied elective.

Prerequisite(s): CS 271 or MATH 213 or consent.

Students will apply their theoretic background, together with current research ideas to solve real problems. They will study principles of requirements analysis, methods of designing solutions to problems, and testing techniques, with special emphasis on documentation. The department strongly recommends that students enrolling in this course have earned a grade of C or higher in Data Structures (CS 271). This course is classified as an applied elective.

Prerequisite(s): CS 271 and CS 281.

In this course, students study in depth the design, analysis, and implementation of efficient algorithms to solve a variety of fundamental problems. The limits of tractable computation and techniques that can be used to deal with intractability are also covered. The department strongly recommends that students enrolling in this course have earned a grade of C or higher in Data Structures (CS 271).

Prerequisite(s): CS 234, CS 271, and junior/senior status.

A study of the principles of operating systems and the conceptual view of an operating system as a collection of concurrent processes. Topics include process synchronization and scheduling, resource management, memory management and virtual memory, and file systems. The department strongly recommends that students enrolling in this course have earned a grade of C or higher in Data Structures (CS 271). This course is classified as a systems elective.

Prerequisite(s): CS 181 or DA 210, CS 271, and CS 281.

A systematic examination of programming language features independent of a particular language. Topics include syntax, semantics, typing, scope, parameter modes, blocking, encapsulation, translation issues, control, inheritance, language design. A variety of languages from different classes are introduced. The department strongly recommends that students enrolling in this course have earned a grade of C or higher in Data Structures (CS 271). This course is classified as a systems elective.

Prerequisite(s): CS 181 or DA 210, CS 271, and CS 281.

A study of regular and context-free languages with the purpose of developing theory to build scanners and parsers. The class will develop its own structured language and construct a working compiler. An examination of compiler construction tools. The department strongly recommends that students enrolling in this course have earned a grade of C or higher in Data Structures (CS 271). This course is classified as a systems elective.

Prerequisite(s): CS 181 or DA 210, CS 271, CS 281, and CS 334.

A study of computer network architecture and protocols. Topics include packet and circuit switching, datalink, network and transport layer protocols, reliability, routing, internetworking, and congestion control. The department strongly recommends that students enrolling in this course have earned a grade of C or higher in Data Structures (CS 271). This course is classified as a systems elective.

Prerequisite(s): CS 181 or DA 210, CS 271, and CS 281.

A study of the design, implementation and application of database management systems. Topics include the relational data model, physical implementation issues, database design and normalization, query processing and concurrency. The department strongly recommends that students enrolling in this course have earned a grade of C or higher in Data Structures (CS 271). This course is classified as a systems elective.

Prerequisite(s): CS 181 or DA 210, CS 271, and CS 281.

This course examines the broad-scale design and end-to-end implementation of cloud, fog, and Internet-of-Things (IoT) level systems to facilitate online, data-intensive services. Issues of data processing, streaming, and storage will be addressed across all three levels of the system hierarchy, with an emphasis on constraints and benefits of each level. The projects in this course emphasize independent research, creative problem solving, and concrete writing within the scope of IoT, fog, and cloud systems. This course is classified as a systems elective.

Prerequisite(s): CS 181/210, CS 281, CS 271.

An introductory course in both hardware and software aspects of robotics. Students will learn the basics of manipulators, sensors, locomotion, and micro-controllers. Students will also construct a small mobile robot and then program the robot to perform various tasks. The department strongly recommends that students enrolling in this course have earned a grade of C or higher in Data Structures (CS 271). This course is classified as an applied elective.

Prerequisite(s): CS 271 and CS 281.

This course aims to enhance mathematics and computer science students' proficiency and comfort in orally communicating content in their disciplines. Students will present three talks during the semester on substantive, well-researched themes appropriate to their status in their major. Corequisite a 300-level or higher mathematics or computer science course.

Prerequisite(s): MATH 210 or MATH 300, or CS 271.

A general category used only in the evaluation of transfer credit.

Topics may include Computer Graphics, Neutral Networks, Advanced Algorithms, Network Security or other subjects of current interest.

Topics may include Computer Graphics, Neutral Networks, Advanced Algorithms, Network Security or other subjects of current interest.

This course is a capstone experience in oral and written communication for mathematics and computer science majors. Students will research a substantive topic, write a rigorous expository article, and make a presentation to the department.

Prerequisite(s): MATH/CS 395 and a 300-400 level computer science course or a 400-level mathematical course.