Theory of Computation

Description

Researchers in theoretical computer science at Brown develop serial, parallel, and distributed models of computation, establish fundamental limits on computation, identify problems that are computationally feasible and infeasible, not only classify problems by their use of computational resources, such as space, time, number of I/O operations, and chip area, but also examine tradeoffs between resources, study the expressive power of programming languages, explore the nature of proof, develop the foundations for reliable and secure communications, and develop verifiable methods for the specification of tasks.