Carnegie Mellon University
Bachelor of Science, Computer Science
Concentration in Machine Learning
Aug 2025 – May 2028
Pittsburgh, PA
Relevant Coursework
-
15-122 Principles of Imperative Computation
Data structures and algorithms in C. Writing provably correct code using contracts, invariants, and algorithmic reasoning.
-
15-150 Functional Programming
Functional programming in Standard ML. Recursion, higher-order functions, inductive reasoning, and analyzing program correctness and complexity.
-
15-213 Introduction to Computer Systems
Machine-level code, memory and caching, linking, virtual memory, concurrency, and networking in C.
-
15-151 Mathematical Foundations for Computer Science
Mathematical proof and discrete structures, including logic, sets, functions, relations, induction, and number theory.
-
15-251 Great Ideas in Theoretical Computer Science
Computability and complexity, automata, probability, cryptography, and the fundamental limits of computation.
