- Logics and Meanings of Programs 9
- Mathematical Logic and Formal Languages 9
- Programming Languages, Compilers, Interpreters 9
- Artificial Intelligence 8
- Symbolic and Algebraic Manipulation 5
- Mathematical Logic and Foundations 2
- Programming Techniques 2
- Computer System Implementation 1
- Discrete Mathematics in Computer Science 1
- Mathematics of Computing 1
- Software Engineering 1
- Theory of Computation 1