Theoretical Computer Science

Photo describing Theoretical Computer Science

Theoretical Computer Science (TCS) is concerned with understanding the very nature of computation: What problems can be solved by computers and how efficiently can such problems be solved? Can "hard" problems be used to our advantage in any way? TCS encompasses research in such diverse areas as complexity theory, algorithms, cryptography and coding theory, distributed and parallel computing, social networks, machine learning, game theory, and more. The common thread is a focus on precise models and rigorous mathematical analysis of particular problems within those models.

Associated Faculty

Photo of Alexander Barg
Affiliate Professor
Photo of Andrew Childs
Professor
Photo of Dana Dachman-Soled
Affiliate Assistant Professor
Photo of William Gasarch
Professor
Photo of Mohammad Hajiaghayi
Professor
Photo of Furong Huang
Assistant Professor
Photo of Joseph Ja' Ja'
Affiliate Professor
Photo of Jonathan Katz
Professor
Photo of Samir Khuller
Professor
Photo of Clyde Kruskal
Associate Professor
Photo of Brad Lackey
Adjunct Professor
Photo of Yi-Kai Liu
Adjunct Associate Professor
Photo of Carl Miller
Adjunct Assistant Professor
Photo of David Mount
Professor
Photo of Aravind Srinivasan
Professor
Photo of Uzi Vishkin
Affiliate Professor
Photo of Xiaodi Wu
Assistant Professor