<! -- ========================== GROUP NAME ========================== ->
Principles and Methodologies
links<! -- ========================== GROUP PEOPLE ========================== -> <! -- ========================== GROUP PAGES/TABS ========================== ->
Principles and Methodologies - overview<! -- ========================== PAGE CONTENT ========================== ->
The Principles and Methodologies Group (A.K.A. the Theory Group) at IBM Research - Almaden explores foundational issues that confront the computing industry today. Because theory cuts across every aspect of computer science, we tend to interact with a large number of other research teams.
Our research includes ongoing work in the following areas:
- Algorithms: How can we get computers to solve problems efficiently?
- Complexity: What computational resources (time, storage, etc) do problems inherently require?
- Database Principles: What models and algorithms are useful in helping computers store and retrieve information efficiently?
An old one-page description with an emphasis on applications.
Ron Fagin elected to National Academy of Sciences
IBM Fellow Ron Fagin was elected to the National Academy of Sciences. Ron is the only IBMer who is now a member of three national academies.
Tribute to John Backus
A tribute to John Backus, one of the first members of our Theory Group, written by Alex Aiken