Foundations of countable and uncountable infinite sets, propositional logic, and first-order logic.

Channels, bounds, and linear codes (Hamming, BCH, Reed-Solomon) with applications in storage/communication

Formal models of computation including finite automata, context-free languages, pushdown automaton, Turing machines, and fundamental concepts of computability theory.

Advanced coding techniques for data management, non-volatile memories, RAID technologies and DNA-based data storage.

Counting techniques, generating functions, and graph theory.

Fundamental programming concepts in C language, including pointers, memory management, recursion and backtracking.