Open Directory - Computers: Computer Science: Theoretical: People
See also: - Assistant Professor at PSU. Provides details of teaching and research. - Hitachi America Professor of Engineering, EECS Dept, MIT and member of Theory of Computation Group at CSAIL. - Assistant Professor, CS Dept, Faculty of Mathematics, University of Waterloo. - 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 - Professor at the Universität des Saarlandes, Saarbrücken, Germany working on the verification and synthesis of reactive systems. - Professor in CS Dept, UCB. - Professor of Applied Mathematics and Computer Science at Yale. - Faculty at EECS Dept, MIT and member of CSAIL. - Associate Professor in Department of Computing Sciences, Villanova University, Pennsylvania. - Researcher in theoretical computer science, specifically in the area verification of graph-based specifications. Website provides academic papers and personal information. - Professor of Computer Science and member of the Theory Group at Caltech. - Faculty at EECS Department, MIT and member of Theory of Computing group in CSAIL. - Researcher in theoretical computer science. Home site with academic resources (academic papers and talks), opinions, and personal information. - Professor and Director of Graduate Studies, Computer Science Department, Stanford University. - Professor in CS Dept, UCB. - 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. - Professor in Department of Mathematics at Purdue University. - 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. - Professor of Applied Mathematics at MIT and member of the Theory of Computation group at CSAIL.
