[schoen]

I really enjoyed taking Ullman's Automata course on Coursera. I found it was great for better appreciating topics like

* searching

* implementation of automata in electronic circuits

* challenges of formal specifications for things like protocols and grammars, as well as for verifying their correctness; implementation strategies for applying these specifications

* computability and complexity

* programming language theory

* history of computer science

* LANGSEC arguments

in addition to having an austere mathematical beauty.

[psibi]

Somehow I found the course very dry (as compared to other coursera course like Dan Grossman's PL course).

[schoen]

I agree that it was quite dry, but the intellectual content was great.

[theshank]

Thank you for sharing this one. I was looking for a course like this! BTW this course is now offered on edx.

[schoen]

Oh, thanks for the update! It looks like the new version is at

https://www.edx.org/course/automata-theory

Definitely recommended if you like somewhat dry and mathematical stuff with deep relevance to many areas of computer science. :-)