Course catalog

First-year functional programming, from expressions to small programs.

Design, testing and version control for programs bigger than one file.

C, memory, processes and the machine underneath the abstractions.

The standard toolbox: regression, classification, clustering, evaluation.

Design and analysis: greedy, divide-and-conquer, DP, NP-completeness.

A weekly studio: brief, build with an agent, present, repeat.

Discrete maths and linear algebra for CS: proofs, logic, matrices.

A faster-paced first-year sequence for students with strong maths.

Linear and integer programming, and when to reach for each.

Probability theory through to fitting and checking real models.