Computer Science Computer science Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Software Engineering Software engineering Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Artificial intelligence Computer Communication Networks Computer software Programming Techniques