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 (117)
Knuth, Donald (19)
Mailing Lists and Name Directories (2)
McCarthy, John (5)
Students (16)

Related Categories:
Computers > Computer Science > People (364)
Science > Math > Logic and Foundations > People (120)

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