1. Automata, Formal Languages, and Computability --- COMP 481. [Spring semester]

2. Bioinformatics: Sequence Analysis --- COMP 571. [Fall semester]

3. Bioinformatics: Network Analysis --- COMP 572. [Spring semester]