http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_RESEARCH/RESEARCH_AREAS/theory.html
Theoretical Computing
-
- Analysis of Algorithms & Data Structures:
Dershowitz,
Edelsbrunner,
Gallopoulos,
Kaplan,
Reingold,
Vaidya
- Combinatorics:
Edelsbrunner,
C. L. Liu,
Reingold,
Vaidya
- Computational Geometry:
Edelsbrunner,
Vaidya
- Computational Learning Theory:
Pitt,
Vaidya
- Complexity Theory:
C. L. Liu,
Pitt,
Vaidya
- Theorem Proving:
Dershowitz,
Reddy