Most computer science curriculum I know of are far from engineering curriculum. Few students seem to retain any knowledge of predicate calculi or how to apply them to software specifications.
Perhaps. My curriculum (and of most other universities in my country) thought me the basis of OOP, Databases, Software Requirements, Development Processes, Distributed Systems, etc... All these concepts map directly to my day to day to job. Having learned this at college, made my life a lot easier after entering the market. And I still think that holds true after 10 years of professional experience.