- Algorithm Analysis and Problem Complexity 1
- Artificial Intelligence 1
- Computation by Abstract Devices 1
- Computer Systems Organization and Communication Networks 1
- Logics and Meanings of Programs 1
- Mathematical Logic and Formal Languages 1
- Mathematics of Computing 1
- Software Engineering/Programming and Operating Systems 1
- Theory of Computation 1
- User Interfaces and Human Computer Interaction 1