- Artificial Intelligence 3
- Logics and Meanings of Programs 3
- Mathematical Logic and Formal Languages 3
- Software Engineering/Programming and Operating Systems 2
- Mathematical Logic and Foundations 1
- Mathematics of Computing 1
- Programming Techniques 1
- Simulation and Modeling 1
- Symbolic and Algebraic Manipulation 1
- Theory of Computation 1