- Logics and Meanings of Programs 3
- Mathematical Logic and Formal Languages 3
- Programming Languages, Compilers, Interpreters 3
- Software Engineering 3
- Algorithm Analysis and Problem Complexity 2
- Artificial Intelligence 1
- Computation by Abstract Devices 1
- Programming Techniques 1
- Simulation and Modeling 1