A computer science curriculum could include feedback control systems and state machines. Not just in a "languages and compiler" context, but considering mutations on state and the idea of "control state," especially now that we have distributed, streaming events and many ways to get timing wrong.<p>Maybe the tooling could be better. Syntax errors are obvious, but coding a state machine there is not much to warn about error states or inconsistencies except stack overflow or stepping through with a debugger.<p>There's also formally validating the model. It would have been neat to have a semester of TLA+ or similar tools.