| COMP131 | Can Machines Think? (Logic and Computation) |
| COMP134 | Human and Machine Inference |
| COMP261 | Topics in Applicable Analysis |
| COMP301 | Automata Theory and Formal Languages |
| COMP321 | Design of Programming Languages |
| COMP327 | Evolutionary and Ecological Bioinformatics |
| COMP331 | Computer Structure and Organization |
| COMP352 | Topics in Artificial Intelligence |
| COMP356 | Computer Graphics |
| COMP500 | Automata Theory and Formal Languages |
| COMP521 | Design of Programming Languages |
| COMP527 | Evolutionary and Ecological Bioinformatics |
| COMP531 | Computer Structure and Organization |
| COMP552 | Topics in Artificial Intelligence |
| COMP571 | Special Topics in Computer Science |
| COMP572 | Special Topics in Computer Science |