Computer science Software engineering Information theory Artificial intelligence Computer Science Theory of Computation Computation by Abstract Devices Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Software Engineering/Programming and Operating Systems