- Computer Science Logic and Foundations of Programming (6)
- Formal Languages and Automata Theory (6)
- Mathematical Logic and Foundations (5)
- Theory of Computation (4)
- Algorithms (3)
- Artificial Intelligence (2)
- Software Engineering (2)
- Applications of Mathematics (1)
- Compilers and Interpreters (1)
- Computer System Implementation (1)
- Discrete Mathematics (1)