Return to: Academic Departments & Committees

Go to: Division of Mathematical and Natural Sciences  

Faculty

Greg Anderson
Machine learning, formal verification, and program analysis and synthesis.

Erica Blum
Cryptography and security, consensus algorithms.

James D. Fix
Parallel algorithms and programming language theory. 

Eitan Frachtenberg
High-performance computer systems.

Adam Groce
Cryptography and private data analysis.

Marina Knittel
Graph algorithms, mechanism design, fair machine learning, parallel and streaming algorithms.

Charles McGuffey
Algorithms, memory management, and emerging technologies. On sabbatical spring 2025.

Curriculum

Reed offers a computer science  major, a standing mathematics/computer science  interdisciplinary major, and a computer science minor . The CSCI 121 - Computer Science Fundamentals I  and CSCI 221 - Computer Science Fundamentals II  courses introduce students to the discipline, each providing a significant foundation in programming and each preparing students for the core coursework in algorithms, theory of computation, and computing systems. These core courses lead to a variety of subdisciplines of computer science, surveyed in upper-level elective courses. Students are also expected to take several mathematics courses. Computer science is a very mathematical discipline and this skill in mathematics is used throughout the curriculum.

Programs

• Computer Science

• Computer Science Minor

Courses

• CSCI 121 - Computer Science Fundamentals I
• CSCI 122 - Intermediate Computer Science Fundamentals I
• CSCI 221 - Computer Science Fundamentals II
• CSCI 351 - Software Engineering
• CSCI 368 - Computer and Network Security
• CSCI 375 - Mechanism Design
• CSCI 378 - Deep Learning
• CSCI 382 - Algorithms and Data Structures
• CSCI 384 - Programming Language Design and Implementation
• CSCI 385 - Computer Graphics
• CSCI 386 - Private and Fair Data Analysis
• CSCI 387 - Computability and Complexity
• CSCI 388 - Cryptography
• CSCI 389 - Computer Systems
• CSCI 393 - Operating System Design and Implementation
• CSCI 394 - Principles of Compiler Design
• CSCI 396 - Computer Networks
• CSCI 441 - Topics in Computer Science Theory
• CSCI 442 - Topics in Computer Systems
• CSCI 470 - Thesis
• CSCI 481 - Independent Study

Return to: Academic Departments & Committees