Jesse Alama is a post-doctoral researcher in the Dialogical Foundations of Semantics project based at the Center for Artificial Intelligence at the New University of Lisbon in Portugal and also works part-time as an Assistant Editor for the Stanford Encyclopedia of Philosophy. He completed his Ph.D. in 2009 under the supervision of Grigori Mints in the Stanford University Department of Philosophy. His dissertation, Formal Proofs and Refutations, extends and re-interprets the critical philosophy of mathematics of Imre Lakatos in the light of the results of modern automated theorem proving (especially proof checking).
Dave Barker-Plummer is a Senior Research Scientist at Stanford University's Center for the Study of Language and Information. He holds a Ph.D. from the Department of Artificial Intelligence atEdinburgh University. Since 1995 he has managed the Openproof project's work on educational software for teaching logic at the undergraduate level. He is the author of papers on automated reasoning, reasoning with diagrams, and architectures for heterogeneous reasoning. He co-edited the collection Words, Proofs and Diagrams and was program chair of the Diagrams 2006 conference. Dave has taught computer science and logic at Stanford, Swarthmore College and Duke University. In his spare time Dave indulges his rock-star fantasies with PAN!C.
Todd Davies is the Associate Director of the Symbolic Systems Program. He holds a Ph.D. in Cognitive Psychology and M.S. and B.S. degrees in Statistics, all from Stanford. His research focuses on group deliberation, decision making, and social informatics.
How do we learn to communicate using language? I study children's language learning and how it interacts with their developing understanding of the social world. I use behavioral experiments, computational tools, and novel measurement methods like large-scale web-based studies, eye-tracking, and head-mounted cameras.
Michael Frank is an associate professor of psychology at Stanford, Mike did his his undergrad at Stanford in Symbolic Systems and his PhD work at MIT.
Noah Goodman is Assistant Professor of Cognitive Psychology and Assistant Professor (by courtesy) of Linguistics and Computer Science at Stanford University. He currently directs the Computation & Cognition Lab (CoCoLab) at Stanford.
His research focuses on :
Daniel Lassiter is an assistant professor of Linguistics at Stanford University. He directs the Psychosemantics Lab at the Center for the Study of Language and Information. His research focuses on natural language semantics and pragmatics, particularly on connections between language understanding and psychological, computational, and philosophical theories of reasoning and decision-making under uncertainty. He is the author of Measurement and Modality: The Scalar Basis of Modal Semantics, to appear with Oxford University Press.
Dr. Uri Nodelman is a Research Associate at the Center for the Study of Language and Information, Stanford University. He serves as the Senior Editor of the Stanford Encyclopedia of Philosophy. He obtained his Ph.D. in Computer Science at Stanford in 2007, having completed a dissertation thesis titled Continuous Time Bayesian Networks. Nodelman has published several papers in the proceedings of conferences on Uncertainty in Artificial Intelligence.
Paul E. Oppenheimer is an Assistant Editor of the Stanford Encyclopedia of Philosophy. He has published (co-authored) papers in the Journal of Logic and Computation, Australasian Journal of Philosophy, Journal of Molecular Structure, International Journal of Quantum Chemistry, and Physical Review B, among others. Paul holds an M.A. in Philosophy from Princeton University, and was the runner-up for the Gordon Bell Prize in supercomputing in 1993.
John Perry is Henry Waldgrave Stuart Professor of Philosophy Emeritus at Stanford University, and co-director of the CEC at CSLI. His research interests include philosophy of language, philosophy of mind and pragmatics. He has authored several books, including most recently, Reference and Reflexivity.
Stanley Peters is Director Emeritus of the Center for the Study of Language and Information and a Professor Emeritus of Linguistics. His research interests include dialogue systems, the computation of meaning from corpora, conversational Intelligence, the semantics of quantification, situation theory and situation semantics, and the mathematical properties of grammars
Christopher Potts is Associate Professor of Linguistics at Stanford and Director of CSLI. In his research, he uses computational methods to explore how emotion is expressed in language and how linguistic production and interpretation are influenced by the context of utterance. He is the author of the 2005 book The Logic of Conventional Implicatures as well as numerous scholarly papers in computational and theoretical linguistics. He earned his BA from NYU in 1999 and his PhD from UC Santa Cruz in 2003.
Dr. Edward N. Zalta is a Senior Research Scholar at the Center for the Study of Language and Information at Stanford University. He directs the Metaphysics Research Lab at CSLI and serves as the Principal Editor of the Stanford Encyclopedia of Philosophy, a dynamic reference work that he designed. His research specialties include metaphysics and formal ontology, the philosophy of mathematics, computational metaphysics, and intensional logic, among others. Zalta has published two books, Abstract Objects: An Introduction to Axiomatic Metaphysics (D. Reidel, 1983) and Intensional Logic and the Metaphysics of Intentionality (MIT Press, 1988), as well as articles in the Journal of Philosophy, Mind, Journal of Philosophical Logic, Noûs, Journal of Logic and Computation, Bulletin of Symbolic Logic, and elsewhere. Zalta obtained an honors B.A. from Rice University in 1975, and a Ph.D. in Philosophy from the University of Massachusetts/Amherst in 1981. He came to Stanford in 1984 as a Postdoctoral Fellow at CSLI.