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
Viewing in Google PageRank order               View in alphabetical order
  Madhu Sudan http://people.csail.mit.edu/madhu/
Faculty at EECS Department, MIT and member of Theory of Computing group in CSAIL.
  Christos H. Papadimitriou http://www.cs.berkeley.edu/~christos/
Professor in CS Dept, UCB.
  Tom Leighton http://people.csail.mit.edu/ftl/
Professor of Applied Mathematics at MIT and member of the Theory of Computation group at CSAIL.
  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.
  David R. Karger http://people.csail.mit.edu/karger/
Faculty at EECS Dept, MIT and member of CSAIL.
  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.
  Leonard Schulman http://www.cs.caltech.edu/~schulman/
Professor of Computer Science and member of the Theory Group at Caltech.
  Rajeev Motwani http://theory.stanford.edu/~rajeev/
Professor and Director of Graduate Studies, Computer Science Department, Stanford University.
  Adam D. Smith http://www.cse.psu.edu/~asmith/
Assistant Professor at PSU. Provides details of teaching and research.
  John Mitchell http://theory.stanford.edu/people/jcm/home.html
Professor in Computer Science Department at Stanford University
  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.
  Alex Lopez-Ortiz http://www.cs.uwaterloo.ca/~alopez-o/
Assistant Professor, CS Dept, Faculty of Mathematics, University of Waterloo.
  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.
  Saugata Basu http://www.math.purdue.edu/~sbasu/
Professor in Department of Mathematics at Purdue University.
  Giorgi Japaridze http://www.csc.villanova.edu/~japaridz/
Associate Professor in Department of Computing Sciences, Villanova University, Pennsylvania.
  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.
  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
  Richard Karp http://www.eecs.berkeley.edu/~karp/
Professor in CS Dept, UCB.
  Daniel A. Spielman http://www.cs.yale.edu/homes/spielman/
Professor of Applied Mathematics and Computer Science at Yale.
  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.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...