- Artificial Intelligence 4
- Logics and Meanings of Programs 4
- Mathematical Logic and Formal Languages 4
- Algorithm Analysis and Problem Complexity 2
- Computation by Abstract Devices 2
- Information and Communication, Circuits 2
- Programming Languages, Compilers, Interpreters 2
- Software Engineering 2
- Computer Communication Networks 1