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