Theory of computation, information and coding theory, including cryptography, algorithms and data structures, programming language theory, concurrency, artificial intelligence, and computer architecture.