Comment by mdoms

Can you give some examples of where computer science academic theory helped in software engineering?