Division of Theoretical Computer Science
The Division of Theoretical Computer Science (TCS) works on the foundations of efficient and correct algorithms and software, and it deals with the tractability of computational problems. Applications areas include software engineering, computer security and privacy, cryptography, verification and sat solving, natural language tools, and computer science education
The Division of Theoretical Computer Science (TCS) is part of the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology. It gathers faculty, PhD students and collaborators to do research and teaching in computer science.