This looks good (which shouldn't be surprising coming from CMU). I'm kind of impressed by how similar this was to my undergrad curriculum (focusing on AI/ML and CS theory). Looks like a fun program.
Also wow, Great Theoretical Ideas in Computer Science[1] is a hell of a course. Induction, DFAs, matchings, TMs, complexity, NP, approximation and randomization, Transducers, crypto, and quantum algos. That's a lot of material, even if most of it appears to be only introductory level.