Google Directory - Computers > Computer Science > Theoretical

Directory Help
Search only in PeopleSearch the Web

People

Computers > Computer Science > Theoretical > People

Go to Directory Home

Categories

Complexity Theory (114)
Knuth, Donald (18)
Mailing Lists and Name Directories (2)
McCarthy, John (5)
Students (15)

Web Pages

View in Google PageRank order Viewing in alphabetical order

Adam D. Smith - http://www.cse.psu.edu/~asmith/
Assistant Professor at PSU. Provides details of teaching and research.

Albert R. Meyer - http://people.csail.mit.edu/meyer/
Hitachi America Professor of Engineering, EECS Dept, MIT and member of Theory of Computation Group at CSAIL.

Alex Lopez-Ortiz - http://www.cs.uwaterloo.ca/~alopez-o/
Assistant Professor, CS Dept, Faculty of Mathematics, University of Waterloo.

Bernard Jacquemin's NLP page - http://jacqueminb.free.fr
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

Bernd Finkbeiner - http://react.cs.uni-sb.de/index.php?id=27/
Professor at the Universität des Saarlandes, Saarbrücken, Germany working on the verification and synthesis of reactive systems.

Christos H. Papadimitriou - http://www.cs.berkeley.edu/~christos/
Professor in CS Dept, UCB.

Daniel A. Spielman - http://www.cs.yale.edu/homes/spielman/
Professor of Applied Mathematics and Computer Science at Yale.

David R. Karger - http://people.csail.mit.edu/karger/
Faculty at EECS Dept, MIT and member of CSAIL.

Giorgi Japaridze - http://www.csc.villanova.edu/~japaridz/
Associate Professor in Department of Computing Sciences, Villanova University, Pennsylvania.

John Mitchell - http://theory.stanford.edu/people/jcm/home.html
Professor in Computer Science Department at Stanford University

Karl-Heinz Pennemann - http://formale-sprachen.informatik.uni-oldenburg.de/persons/karl-heinz.pennemann/
Researcher in theoretical computer science, specifically in the area verification of graph-based specifications. Website provides academic papers and personal information.

Leonard Schulman - http://www.cs.caltech.edu/~schulman/
Professor of Computer Science and member of the Theory Group at Caltech.

Madhu Sudan - http://people.csail.mit.edu/madhu/
Faculty at EECS Department, MIT and member of Theory of Computing group in CSAIL.

Murdoch James Gabbay - http://www.gabbay.org.uk
Researcher in theoretical computer science. Home site with academic resources (academic papers and talks), opinions, and personal information.

Rajeev Motwani - http://theory.stanford.edu/~rajeev/
Professor and Director of Graduate Studies, Computer Science Department, Stanford University.

Richard Karp - http://www.eecs.berkeley.edu/~karp/
Professor in CS Dept, UCB.

Ronald L. Rivest - http://people.csail.mit.edu/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.

Saugata Basu - http://www.math.purdue.edu/~sbasu/
Professor in Department of Mathematics at Purdue University.

Simon Perdrix - http://web.comlab.ox.ac.uk/people/Simon.Perdrix/
Post-doctoral fellow at Oxford University Computing Laboratory. Research in models of quantum computation, high level methods for quantum computing and state transfer.

Tom Leighton - http://people.csail.mit.edu/ftl/
Professor of Applied Mathematics at MIT and member of the Theory of Computation group at CSAIL.

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor