People

Adam D. Smith
Assistant Professor at PSU. Provides details of teachuing and research.
http://theory.lcs.mit.edu/~asmith/

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/

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

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

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/

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

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

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

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

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

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

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

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

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

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

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/

Saugata Basu
Assistant Professor in School of Mathematics at Georgia Tech.
http://www.math.gatech.edu/~saugata/

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.
http://web.comlab.ox.ac.uk/people/Simon.Perdrix/

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