Theoretical
- 21
- Bernard Jacquemin's NLP page
- Research interests in natural language processing, lexical semantics using both symbolic and statistical analysis methods for parsing and word sense disambiguation, sense representation and rephrasing
- 25
- Giorgi Japaridze
- Associate Professor in Department of Computing Sciences, Villanova University, Pennsylvania.
- 26
- Karl-Heinz Pennemann
- Researcher in theoretical computer science, specifically in the area verification of graph-based specifications. Website provides academic papers and personal information.
- 28
- Murdoch James Gabbay
- Researcher in theoretical computer science. Home site with academic resources (academic papers and talks), opinions, and personal information.
- 29
- Ronald L. Rivest
- Andrew and Erna Viterbi Professor of Electrical Engineering and Computer Science in MIT's EECS Dept and member of Theory of Computation Group at CSAIL.
- 31
- Tom Leighton
- Professor of Applied Mathematics at MIT and member of the Theory of Computation group at CSAIL.
- 32
- Algorithm and Complexity Group at the University of Waterloo
- Research areas include design and analysis of algorithms, models of computation, and computational complexity.
- 34
- Foundations of Computational Mathematics
- International Research Group for Computational Mathematics
- 35
- ICS Theory Group
- University of California, Irvine. Research centers on the design and analysis of algorithms and data structures as well as computational complexity.
- 36
- Stanford CS Theory
- Research includes sequential and parallel algorithms, computational problems in databases, computational geometry, design and analysis of programs and programming languages, and combinatorial, logical, and algebraic mathematics.
- 37
- The PORTIA Project
- This project focuses on both the technical challenges of handling sensitive data and the policy and legal issues facing data subjects, data owners, and data users.