Software engineering
Formal methods
Abstract data types
Generic programming
Algorithm
Mathematical logic
Predicate transformer semantics
Frama-C
Stack
Mathematics
Computing
C++ Standard Library