Don't confuse computer science and its application in writing software. We have made great progress in algorithms and generally understanding the applied math aspects of expressing computational processes. The software we write is still untrustworthy garbage.

“Beware of bugs in the above code; I have only proved it correct, not tried it.” — Donald Knuth