- Artificial Intelligence 8
- Logics and Meanings of Programs 4
- Mathematical Logic and Formal Languages 4
- Software Engineering 3
- Theory of Computation 3
- Algorithm Analysis and Problem Complexity 2
- Computation by Abstract Devices 2
- Information and Communication, Circuits 2
- Mathematics of Computing 2
- Programming Languages, Compilers, Interpreters 2
- Computer Communication Networks 1
- Data Structures 1
- Discrete Mathematics in Computer Science 1
- Operations Research/Decision Theory 1
- Optimization 1
- Programming Techniques 1