I disagree with this. Studying computational efficiency is only one part of computer science. What about the study of code generation and parsers? What about s

I disagree with this. Studying computational efficiency is only one part of computer science. What about the study of code generation and parsers? What about state machines? Or formalisms like relational algebra, algebraic type theory, distributed protocols, or lambda calculus? None of these things are "about" efficiency.