People at CSLIAlama, Jesse
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).Stanford Encyclopedia of Philosophy Anttila, Arto Spoken Syntax Lab Dave Barker-Plummer
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.The Openproof Project Bresnan, Joan
Joan Bresnan, Ph.D. MIT 1972, is Sadie Dernham Patek Professor in Humanities Emerita at Stanford University and a senior researcher at Stanford’s Center for the Study of Language and Information, where she has established the Spoken Syntax Lab.Spoken Syntax Lab Chandar, Daizy
Daizy Chandar is the Administrative Assistant at CSLI.Administrative Staff Christainsen, Wenyi
Wenyi Christainsen is the Research and Financial Analyst at CSLI.Administrative Staff Condoravdi, Cleo Language and Natural Reasoning Crone, Phil Psychosemantics Lab Davies, Todd
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.Etchemendy, John
John Etchemendy is the Patrick Suppes Family Professor in the School of Humanities and Sciences at Stanford University and director of the Openproof Project at the Center for the Study of Language and Information. He is former provost of Stanford University.The Openproof Project Flickinger, Daniel LinGO Project Frank, Michael
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.Pragmatic Enrichment & Contextual Interface Lab Goodman, Noah
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 :
- Computational models of cognition, integrating logic and probability.
- Concepts, categorization, and intuitive theories.
- Causal learning and reasoning.
- Social cognition: reasoning about others' goals, beliefs, and actions.
- Cognitive development, especially the acquisition of abstract knowledge.
- Natural language semantics and pragmatics.
- Probabilistic programming languages.
Full time developer at Openproof Project.The Openproof Project Karagueuzian, Dikran
Dikran is a senior research scholar at CSLI, managing our publications department.CSLI Publications Karttunen, Lauri Language and Natural Reasoning Amita Kumar
Amita Kumar is the Associate Director of CSLI.Administrative Staff Kuperman, Victor
External Visiting ResearcherSpoken Syntax Lab Lassiter, Daniel
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.Psychosemantics Lab Lodwick, Michelle
Michelle Lodwick serves as the HR and Operations administrator at CSLI.Administrative Staff Melnick, Robin Spoken Syntax Lab Murray, Michael The Openproof Project Nadathur, Prerna Psychosemantics Lab Nodelman, Uri
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.Stanford Encyclopedia of Philosophy Nykiel, Joanna Spoken Syntax Lab Oppenheimer, Paul E.
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.Stanford Encyclopedia of Philosophy Emma Pease
Emma Pease is an Assistant Editor for the Stanford Encyclopedia of Philosophy project and Systems Administrator for the Openproof projectStanford Encyclopedia of Philosophy, The Openproof Project Perry, John
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.Center for the Explanation of Consciousness Peters, Stanley
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 grammarsComputational Semantics Lab, Language and Natural Reasoning Potts, Christopher
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.Pragmatic Enrichment & Contextual Interface Lab Qing, Ciyang Psychosemantics Lab Shih, Stephanie Sin-yun Spoken Syntax Lab Skokowski, Paul
Paul Skokowski is a Consulting Professor in Symbolic Systems and Philosophy at Stanford, and directs the CEC project at CSLI. His research interests include philosophy of mind, cognitive science and philosophy of science.Center for the Explanation of Consciousness Todd, Simon Spoken Syntax Lab Wasow, Tom Spoken Syntax Lab Sarah Weaver
Book Production AssistantCSLI Publications Zaenen, Annie Spoken Syntax Lab, Language and Natural Reasoning Zalta, Edward N.
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.Stanford Encyclopedia of Philosophy, The Metaphysics Research Lab
Copyright © The Board of Trustees of The Leland Stanford Junior University. All Rights Reserved.