Current Courses

CS 302 – Formal Lang&Automata Theory

CS 407 – Theory of Computation

CS 503 – Theory of Computation