| |
| | Theory | EECS at UC Berkeley (Site not responding. Last check: 2007-10-08) |
 | | Today, the faculty, students, staff, visitors, and affiliated researchers of the Theory Group strive to continue this tradition through their research on the foundations of algorithms, complexity, and their applications to computer systems, as well as to other fields of science. |
 | | Christos Papadimitriou is interested in the theory of algorithms and complexity, and its applications to databases, information retrieval, economics and game theory, and biology. |
 | | Tom Henzinger is interested in the use of formal and algorithmic methods for the design of real-time and reactive systems. |
| www.eecs.berkeley.edu /Research/Areas/CS/THY (709 words) |
|