Computer science theory assesses which problems are possible and feasible to solve through theories of computability, undecidability, complexity, reducibility, and approximability.
Focuses on efficient experimental and theoretical solutions to problems on state-of-the-art computational systems consisting of large numbers of computational elements, including clouds, clusters, grids, networks-of-workstations, massively parallel supercomputers, and GPU-based systems.