People

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

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

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

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

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

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

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

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

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

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

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

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
http://jacqueminb.free.fr

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

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

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

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

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

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