Computation by Abstract Devices Computer Science Computer science Artificial Intelligence (incl. Robotics) Artificial intelligence Computational complexity Computer Systems Organization and Communication Networks Computer network architectures Computer simulation Discrete Mathematics in Computer Science Information theory Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics of Computing Programming Techniques Simulation and Modeling Software Engineering Software engineering Theory of Computation