Web Directory

» Adam D. Smith
   Assistant Professor at PSU. Provides details of teaching and research.
   http://www.cse.psu.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/

» 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/

» 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
   Professor in Department of Mathematics at Purdue University.
   http://www.math.purdue.edu/~sbasu/

» Simon Perdrix
   Postdoc at the Laboratory for Foundation of Computer Science (LFCS). Research in models of quantum computation, high level methods for quantum computing and state transfer.
   http://www.pps.jussieu.fr/~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/