> whether teaching it to students of that level is the 'right' thing I strongly doubt that any university or educator is teaching so much theory of computation

> whether teaching it to students of that level is the 'right' thing I strongly doubt that any university or educator is teaching so much theory of computation to any level of computer science student who will not be focused on theory of computation. Notice that the OP's video seems targeted towards incoming CS theory Masters/PhD students who will explicitly be working on CS theory and doing research.