Directory: Top/Computers/Computer_Science/Theoretical/People

Top / Computers / Computer_Science / Theoretical / People /

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/
Mit.edu ~ Site Info Whois Trace Route RBL Check

David R. Karger
Faculty at EECS Dept, MIT and member of CSAIL.
http://people.csail.mit.edu/karger/
Mit.edu ~ Site Info Whois Trace Route RBL Check

Tom Leighton
Professor of Applied Mathematics at MIT and member of the Theory of Computation group at CSAIL.
http://people.csail.mit.edu/ftl/
Mit.edu ~ Site Info Whois Trace Route RBL Check

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
Free.fr ~ Site Info Whois Trace Route RBL Check

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/
Ox.ac.uk ~ Site Info Whois Trace Route RBL Check

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/
Uni-sb.de ~ Site Info Whois Trace Route RBL Check

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
Gabbay.org.uk ~ Site Info Whois Trace Route RBL Check

Saugata Basu
Professor in Department of Mathematics at Purdue University.
http://www.math.purdue.edu/~sbasu/
Purdue.edu ~ Site Info Whois Trace Route RBL Check

Adam D. Smith
Assistant Professor at PSU. Provides details of teachuing and research.
http://www.cse.psu.edu/~asmith/
Psu.edu ~ Site Info Whois Trace Route RBL Check

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/
Uni-oldenburg.de ~ Site Info Whois Trace Route RBL Check