University of Cambridge Catalog. Stanford Bachelors Catalog. Stanford Masters Catalog. MIT OpenCourseWare.
- CS109 - Introduction to Probability for Computer Scientists. Prereq: CS103.
- CS110 - Principles of Computer Systems. Prereq: CS107.
- CS161 - Design and Analysis of Algorithms. Prereq: CS103.
- CS166 - Data Structures. Prereq: CS107, CS161.
- CS255 - Introduction to Cryptography Prereq: CS110.
- 6.004 - Computational Structures.
- 6.823 - Computer Systems Architecture. Prereq: 6.004.
- CS348K - Visual Computing Systems. Prereq: 6.823.
- CS145 - Data Management and Data Systems.
- CS246 - Mining Massive Data Sets. Prereq: CS145.
- 18.01 - Single Variable Calculus.
- 18.02 - Multivariable Calculus. Prereq: 18.01.
- 18.03 - Differential Equations. Prereq: 18.02
- 8.01 - Classical Mechanics. Prereq: 18.01
- 8.02 - Electricity and Magnetism. Prereq: 8.01
- TODO: Compilation target specification (WASM)
- CS143 - Compilers.
- CS242 - Programming Languages.
- CS243 - Program Analysis and Optimizations.
- TODO: operating system design specification (WASI)
- CS111 - Operating Systems Principles.
- CS112, CS212, CS140 - Operating Systems Prereq: CS111.
- CS240 - Advance Topics in Operating Systems.
- CS 257: Introduction to Automated Reasoning.
- CME307 Optimization.
- CS357 - Advanced Topics in Formal Methods.
- EE364A - Convex Optimization I.
- TODO: enumate and create sections sections like above