| COMP131 | Logic and Computation |
| COMP132 | Computing, Privacy, and Security |
| COMP133 | Cryptography |
| COMP211 | Computer Science I |
| COMP301 | Automata Theory and Formal Languages |
| COMP312 | Algorithms and Complexity |
| COMP321 | Design of Programming Languages |
| COMP327 | Evolutionary and Ecological Bioinformatics |
| COMP342 | Programming Methods |
| COMP351 | Cryptography and Network Security |
| COMP354 | Principles of Databases |
| COMP410 | Senior Thesis Tutorial |
| COMP500 | Automata Theory and Formal Languages |
| COMP510 | Algorithms and Complexity |
| COMP521 | Design of Programming Languages |
| COMP527 | Evolutionary and Ecological Bioinformatics |
| COMP554 | Principles of Databases |
| COMP555 | Logic and Discrete Mathematics |
| COMP571 | Special Topics in Computer Science |