Computer Science Computer science Data Structures, Cryptology and Information Theory Data structures (Computer science) Information theory Intelligent agents (Computer software) Knowledge representation (Information theory) Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics of Computing Models and Principles Programming languages (Electronic computers) Theory of Computation