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 is part of the Department of Computer Science at the School of Electrical Engineering and Computer Science .

Page responsible:Web editors at EECS
Belongs to: Division of Theoretical Computer Science
Last changed: Mar 17, 2020