Skip to main content

About the division

The Division of Theoretical and 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.

Page responsible:Web editors at EECS
Belongs to: Theoretical Computer Science
Last changed: Apr 27, 2021