- Compilers and Interpreters (4)
- Computer Science Logic and Foundations of Programming (4)
- Formal Languages and Automata Theory (4)
- Software Engineering (3)
- Theory of Computation (3)
- Applications of Mathematics (1)
- Artificial Intelligence (1)
- Mathematical Logic and Foundations (1)
- Mathematics (1)
- Programming Techniques (1)