- Mathematical Logic and Formal Languages 7
- Software Engineering 7
- Logics and Meanings of Programs 6
- Artificial Intelligence 5
- Logic Design 4
- Theory of Computation 3
- Algorithm Analysis and Problem Complexity 2
- Programming Languages, Compilers, Interpreters 2
- Computation by Abstract Devices 1
- Computer Communication Networks 1
- Computer Hardware 1
- Programming Techniques 1
- Special Purpose and Application-Based Systems 1