I loved CS181 ("Intro to Finite Theory Automata"). I don't remember using much from what I learned there in the last 5 years as a SWE but wow that was a fun class!