Theory of Computing

Theory of Computing

Theory of Computing

The theory of computing forms the mathematical foundation for studying computation, independent of a specific situation, piece of hardware or programming language. It gives formal definitions for what an “algorithm” is, what a “problem” that an algorithm solves is and what it means for an algorithm to solve a problem “efficiently.” The theory of computing enables us to prove that certain problems cannot be solved by any algorithm, and others, though solvable, cannot be solved efficiently.

Theory of Computing Faculty


Faculty

Portrait Image

David Doty

Position Title
  • Associate Professor
Portrait Image

Isaac Kim

Position Title
  • Assistant Professor

External Graduate Program Faculty

Emeriti Faculty

Portrait Image

Dan Gusfield

Position Title
  • Distinguished Professor Emeritus