Computer science theory assesses which problems are possible and feasible to solve through theories of computability, undecidability, complexity, reducibility, and approximability.

Focuses on expanding approaches to teaching computing at all levels (K-12 and University) and the outreach to promote computing majors and careers.

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.