Theory

Theory Group


[ Overview | Research Areas | Laboratory | Members | Seminars | Resources ]


The Theory Group is a research group in the Department of Computer Science at University of British Columbia.


Local Events and Conferences


Research Overview

The research activities of the Theory group span a broad range of issues in theoretical computer science: from the design of efficient algorithms and data structures to optimal circuits and switching networks, from the analysis of combinatorial or geometric algorithms on idealized models of parallel and distributed computation to lower bounds on the resources required to solve a problem, and from the study of complexity classes to the logical foundations of programming languages. Computational complexity serves as a unifying theme, but motivation comes from applications in such diverse areas as manufacturing, VLSI layout, switching networks, molecular biology, computer graphics, robotics, programming language design and geographic information systems.


Research Areas


Laboratory

The
Bioinformatics, and Empirical & Theoretical Algorithmics Laboratory (ß-Lab) provides computational and spatial resources for the group.


Members


Seminars


Resources


Created: April 13, 1999. Last updated: October 9, 2003.