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