Algorithms and Theory

Algorithms and Theory

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 Andrew Childs

Andrew Childs

Co-director, QuICS
Photo of William Gasarch

William Gasarch

Photo of Mohammad Hajiaghayi

Mohammad Hajiaghayi

Jack and Rita G. Minker Professor
Photo of Furong Huang

Furong Huang

Assistant Professor
Photo of Jonathan Katz

Jonathan Katz

Photo of Samir Khuller

Samir Khuller

Distinguished Scholar Teacher
Photo of Clyde Kruskal

Clyde Kruskal

Associate Professor
Photo of Max Leiserson

Max Leiserson

Assistant Professor
Photo of David Mount

David Mount

Photo of Hanan Samet

Hanan Samet

Distinguished University Professor
Photo of Aravind Srinivasan

Aravind Srinivasan

Photo of Xiaodi Wu

Xiaodi Wu

Assistant Professor
Photo of Brad Lackey

Brad Lackey

Adjunct Professor
Photo of Yi-Kai Liu

Yi-Kai Liu

Adjunct Associate Professor
Photo of Carl Miller

Carl Miller

Adjunct Assistant Professor
Photo of Alexander Barg

Alexander Barg

Affiliate Professor
Photo of Dana Dachman-Soled

Dana Dachman-Soled

Affiliate Assistant Professor
Photo of Joseph Ja' Ja'

Joseph Ja' Ja'

Affiliate Professor
Photo of Andre Tits

Andre Tits

Affiliate Professor
Photo of Uzi Vishkin

Uzi Vishkin

Affiliate Professor