Theoretical computer science is a subfield of computer science and mathematics that focuses on the abstract and mathematical foundations of computation.