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