People

• Computers: Computer Science: People  (323)
• Science: Math: Logic and Foundations: People  (125)

Adam D. Smith :

- Assistant Professor at PSU. Provides details of teachuing and research.
Albert R. Meyer :

- Hitachi America Professor of Engineering, EECS Dept, MIT and member of Theory of Computation Group at CSAIL.
Alex Lopez-Ortiz :

- Assistant Professor, CS Dept, Faculty of Mathematics, University of Waterloo.
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
Bernd Finkbeiner :

- Professor at the Universität des Saarlandes, Saarbrücken, Germany working on the verification and synthesis of reactive systems.
Christos H. Papadimitriou :

- Professor in CS Dept, UCB.
Daniel A. Spielman :

- Professor of Applied Mathematics and Computer Science at Yale.
David R. Karger :

- Faculty at EECS Dept, MIT and member of CSAIL.
Giorgi Japaridze :

- Associate Professor in Department of Computing Sciences, Villanova University, Pennsylvania.
John Mitchell :

- Professor in Computer Science Department at Stanford University
Leonard Schulman :

- Professor of Computer Science and member of the Theory Group at Caltech.
Madhu Sudan :

- Faculty at EECS Department, MIT and member of Theory of Computing group in CSAIL.
Murdoch James Gabbay :

- Researcher in theoretical computer science. Home site with academic resources (academic papers and talks), opinions, and personal information.
Muzaffer Akbay :

- Master's Student, Computer Graphics, Bilkent University. Current and past research and some self implemented useful tools.
Rajeev Motwani :

- Professor and Director of Graduate Studies, Computer Science Department, Stanford University.
Richard Karp :

- Professor in CS Dept, UCB.
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.
Saugata Basu :

- Assistant Professor in School of Mathematics at Georgia Tech.
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.
Tom Leighton :

- Professor of Applied Mathematics at MIT and member of the Theory of Computation group at CSAIL.