Faculty
-
David L. Dill: Professor, Computer Science
verification of system designs -
John Etchemendy: Professor, Philosophy (currently: Provost)
logic, semantics, philosophy of language - Solomon Feferman: Professor (Emeritus), Mathematics and Philosophy
proof theory, theory of computation, foundations of mathematics, history of modern logic -
Michael R. Genesereth:
Professor, Computer Science
automated reasoning, knowledge base integration -
Noah Goodman:
Assistant Professor, Psychology
computational models of cognition, integrating logic and probability -
Daphne Koller:
Associate Professor, Computer Science
reasoning under uncertainty -
Zohar Manna:
Professor, Computer Science
verification of real-time and hybrid systems -
Christopher Manning:
Professor, Computer Science and Linguistics
natural language processing, syntactic theory, probabilistic approaches -
Grigori Mints:
Professor of Philosophy, Mathematics (b.c.) and Computer Science (b.c.)
proof theory, foundations of mathematics -
John Mitchell:
Professor, Computer Science
programming languages, security -
Stanley Peters:
Professor, Linguistics
logical analysis of meaning in natural languages and computational processing thereof -
Chris Potts:
Associate Professor, Linguistics
semantics, pragmatics, and computational methods for linguistic research -
Vaughan Pratt:
Professor (Emeritus), Computer Science
foundations of concurrency, linear logic, Chu spaces, logics of geometry -
Patrick Suppes:
Professor (Emeritus), Philosophy
philosophy of science, natural-language learning interface for robotic systems -
Yoav Shoham:
Associate Professor, Computer Science
rational behaviour, multiagent systems -
Johan van Benthem:
Professor, Philosophy
philosophy of logic, modal and dynamic logic -
Thomas Wasow:
Professor, Linguistics and Philosophy
language processing, syntactic theory, linguistic methodology -
Edward N. Zalta:
Consulting Professor, Philosophy
philosophy of language and intensional logic
PhD Students
- Ulrik Buchholtz, Mathematics
- John Taylor Chipman, Philosophy
- David Clausen, Linguistics
- Jonathan Ettel, Philosophy
- Alex Djajali, Linguistics
- Peter Hawke, Philosophy
- Thomas Icard, Philosophy
- Eric Kao, Computer Science
- Sven Lauer, Linguistics
- Pokey Rule, Computer Science
- Shane Steinert-Threlkeld, Philosophy
- Stephan Stiller, Computer Science
- Ankur Taly, Computer Science
Researchers
-
David Barker-Plummer:
CSLI
graphical reasoning -
Keith Devlin:
CSLI
using mathematical techniques to study language, communication, and information - Tomohiro Hoshi:
CSLI/EPGY
logic, formal epistemology, and philosophy of mathematics and logic -
David Israel:
SRI
natural language processing, representing and reasoning -
Rick Sommer:
CSLI/EPGY
mathematical logic and foundations of mathematics -
Carolyn L. Talcott:
Computer Science
semantics of programming languages
Groups
- Center for the Study of Language and Information
- Concurrency Group
- Formal Reasoning Group
- Logic Group in AI
- Multiagent Group
Last modified