Theoretical computer science is the collection of topics of computer science that focuses on the more abstract , logical and mathematical aspects of computing , such as the theory of computation , analysis of algorithms , and semantics of programming languages .

Researchers in it focus on the more abstract , logical and mathematical aspects of computing , such as the theory of computation , analysis of algorithms and semantics of programming languages .
