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

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.
	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.
	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.
	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.
	Tom Leighton - http://people.csail.mit.edu/ftl/ Professor of Applied Mathematics at MIT and member of the 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.
	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.
	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
	Christos H. Papadimitriou - http://www.cs.berkeley.edu/~christos/ Professor in CS Dept, UCB.
	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...