Course teaches how programming languages are implemented and the OCaml programming language, which is pretty useless. A lot of the material isn't very useful and feels a bit outdated.

She wrongly accused half the class of cheating on the midterm but backed down once everyone complained.

Course covers many topics from Cohen's Introduction to Computer Theory including finite automata, context-free grammars, Kleene's theorem, Turing machines, regular languages, and pumping lemma. Many assignments, some with math-type proofs, and a long final exam.

The prof covered each topic carefully and was available for questions.

Use LaTeX to format your assignments (it's not too hard to learn the basics to get started), and start them early since some are long. At http://www.madebyevan.com/fsm/ you can create a finite state machine and export the LaTeX to your assignment.