

| |
| | |
| | |
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/
|
Powered by the Free Keywords for Webmasters