Complexity Theory 118
Mailing Lists and Name Directories 2 Students 15
Knuth, Donald 15 McCarthy, John 4
| | People - Computer Science, Computers 323
People - Logic and Foundations, Math, Science 125
Adam D. SmithAdam D. Smith
Assistant Professor at PSU. Provides details of teachuing and research.
|
Albert R. MeyerAlbert R. Meyer
Hitachi America Professor of Engineering, EECS Dept, MIT and member of Theory of Computation Group at CSAIL.
|
Alex Lopez-OrtizAlex Lopez-Ortiz
Assistant Professor, CS Dept, Faculty of Mathematics, University of Waterloo.
|
Bernard Jacquemin's NLP pageBernard 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
|
Bernd FinkbeinerBernd Finkbeiner
Professor at the Universität des Saarlandes, Saarbrücken, Germany working on the verification and synthesis of reactive systems.
|
Christos H. PapadimitriouChristos H. Papadimitriou
Professor in CS Dept, UCB.
|
Daniel A. SpielmanDaniel A. Spielman
Professor of Applied Mathematics and Computer Science at Yale.
|
David R. KargerDavid R. Karger
Faculty at EECS Dept, MIT and member of CSAIL.
|
Giorgi JaparidzeGiorgi Japaridze
Associate Professor in Department of Computing Sciences, Villanova University, Pennsylvania.
|
John MitchellJohn Mitchell
Professor in Computer Science Department at Stanford University
|
Leonard SchulmanLeonard Schulman
Professor of Computer Science and member of the Theory Group at Caltech.
|
Madhu SudanMadhu Sudan
Faculty at EECS Department, MIT and member of Theory of Computing group in CSAIL.
|
Murdoch James GabbayMurdoch James Gabbay
Researcher in theoretical computer science. Home site with academic resources (academic papers and talks), opinions, and personal information.
|
Muzaffer AkbayMuzaffer Akbay
Master's Student, Computer Graphics, Bilkent University. Current and past research and some self implemented useful tools.
|
Rajeev MotwaniRajeev Motwani
Professor and Director of Graduate Studies, Computer Science Department, Stanford University.
|
Richard KarpRichard Karp
Professor in CS Dept, UCB.
|
Ronald L. RivestRonald 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.
|
Saugata BasuSaugata Basu
Assistant Professor in School of Mathematics at Georgia Tech.
|
Simon PerdrixSimon Perdrix
Post-doctoral fellow at Oxford University Computing Laboratory. Research in models of quantum computation, high level methods for quantum computing and state transfer.
|
Tom LeightonTom Leighton
Professor of Applied Mathematics at MIT and member of the Theory of Computation group at CSAIL.
|
|