- Compilers and Interpreters (46)
- Computer Science Logic and Foundations of Programming (46)
- Formal Languages and Automata Theory (46)
- Theory of Computation (28)
- Software Engineering (26)
- Artificial Intelligence (24)
- Programming Techniques (17)
- Mathematical Logic and Foundations (7)
- Computer System Implementation (4)
- Symbolic and Algebraic Manipulation (4)
- Applications of Mathematics (2)
- Mathematics of Computing (2)
- Algorithms (1)
- Discrete Mathematics (1)
- K-Theory (1)
- Mathematics (1)