Combined notes gathering all computer science-related material into a single reference document.

CS-214 — Software Construction
COM-301 — Computer Security and Privacy

Notes for software construction:
Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and fundamental software construction principles (reusability, abstraction, encapsulation, composition, proofs).

CS-214 — Software Construction

Notes on computer security and privacy:
Introductory course to computer security and privacy. The goal is to help students reason about security and privacy problems and to equip them with fundamental tools to confront real-world threats.

COM-301 — Computer Security and Privacy

Notes on computer systems:
Understanding the design and operation of modern computer systems, from hardware architecture to system software, including processors, memory hierarchy, and operating system fundamentals.

CS-202 — Computer Systems

Notes on data-intensive systems:
Design and implementation of large-scale data systems, covering data models, storage engines, distributed systems, and processing frameworks for handling massive datasets.

CS-300 — Data-Intensive Systems

Notes on algorithms:
Fundamental algorithmic techniques and data structures, including sorting, searching, graph algorithms, and complexity analysis.

CS-250 — Algorithms I

Notes on theory of computation:
Formal languages, automata theory, computability, and complexity theory, exploring the fundamental limits and capabilities of computation.

CS-251 — Theory of Computation

Condensed exam formulas, definitions, and main concepts for Security & Privacy.

COM-301 — Computer Security and Privacy