I'm not sure what CS means in this context but my experience has been that C is the language of choice when doing "real CS" - which I'd define as the analysis,

I'm not sure what CS means in this context but my experience has been that C is the language of choice when doing "real CS" - which I'd define as the analysis, use and invention of data structures and algorithms on Turing machines. If you mean the engineering practice of turning specifications into machines then there are definitely better languages for that.