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 

Page responsible:Web editors at EECS
Belongs to: Department of Theoretical Computer Science
Last changed: May 02, 2019