Skip to content Skip to navigation

People at CSLI

Alama, 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).

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 StanfordSwarthmore College and Duke University. In his spare time Dave indulges his rock-star fantasies with PAN!C.

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.

Chandar, Daizy

Daizy Chandar is the Administrative Assistant at CSLI.

Christainsen, Wenyi

Wenyi Christainsen is the Research and Financial Analyst at CSLI.

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.

Flickinger, Daniel

Senior Research Associate with the Education Program for Gifted Youth (EPGY), and Project Manager of the LinGO Laboratory at Stanford University

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. 

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.
Honjo, Ryota

Full time developer at Openproof Project.

Karagueuzian, Dikran

Dikran is a senior research scholar at CSLI, managing our publications department.

Amita Kumar

Amita Kumar is the Associate Director of CSLI.

Kuperman, Victor

External Visiting Researcher

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.

Lodwick, Michelle

Michelle Lodwick serves as the HR and Operations administrator at CSLI.

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. 

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.

Emma Pease

Emma Pease is an Assistant Editor for the Stanford Encyclopedia of Philosophy project and Systems Administrator for 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.

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 grammars

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.

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.  


Sarah Weaver

Book Production Assistant

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.