A lab course focusing on the practical applications of data structures and algorithms.

An introductory course on computability  theory and automata.

An introductory course on Automata theory and computability.