TCS – What is it about?

The TCS group 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.

Belongs to: Department of Theoretical Computer Science
Last changed: Oct 17, 2018