The theories behind computer science are used all the time in large software engineering. They're just not the interesting part.