- Compilers and Interpreters (57)
- Computer Science Logic and Foundations of Programming (57)
- Formal Languages and Automata Theory (57)
- Theory of Computation (31)
- Software Engineering (30)
- Artificial Intelligence (25)
- Programming Techniques (19)
- Mathematical Logic and Foundations (10)
- Computer System Implementation (7)
- Symbolic and Algebraic Manipulation (4)
- Algorithms (3)
- Applications of Mathematics (2)
- Discrete Mathematics (2)
- K-Theory (2)
- Mathematics of Computing (2)
- Mathematics (1)
- Operations Research and Decision Theory (1)