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 an 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.
Claudio G. Carvalhaes received the Ph.D. degree in physics from the Universidade Federal Fluminense, Niteroi, RJ, Brazil. He is currently an Associate Professor with the Institute of Mathematics and Statistics at Rio de Janeiro State University, RJ, Brazil, and a Visiting Associate Professor at the Center for the Study of Language and Information at Stanford University. His research interests include the physics-EEG interface, theoretical physics, and interdisciplinary fields.
Colleen E. Crangle received her M.Sc.degree in computer science from the University of South Africa and a Ph.D. in philosophy from Stanford University. Her research focuses on the intersection of language, computation, and biomedicine. In the Suppes Brain Lab she is working on studies of semantics and the brain. She co-authored the book Language and Learning for Robots (CSLI Publications,1994) with Patrick Suppes.
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.
Jose Acacio de Barros is an Assistant Professor at San Francisco State University's Liberal Studies Program since Fall 2007. Before coming to SFSU, he was a Visiting Associate Professor at the Center for the Study of Language and Information (CSLI), Stanford University, and an Associate Professor of Physics at the Federal University of Juiz de Fora, Brazil.
Most of his research is in foundations of physics, in particular the foundations of quantum mechanics, and the physics of biological systems. He is also interested in research in physics education.
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 :
Logan Grosneick received bachelors degrees with honors in Biology and Psychology from Stanford, and a Masters in Statistics from Stanford. He is currently a Ph. D. candidate in the Neurosciences Program and a trainee at the Stanford Center for Mind, Brain, and Computation. He is interested in developing and applying novel computational and imaging techniques for observing, controlling, and understanding neuronal circuit dynamics.
Blair Bohannan Kaneshiro received her B.A. in Music, M.A. in Music, Science, and Technology, and M.S. in Electrical Engineering, all from Stanford. She is currently a Ph.D. candidate at Stanford's Center for Computer Research in Music and Acoustics (CCRMA). Research interests: Single-trial classification of EEG signals; musical harmony, meter, and tempo; categorical representation; signal-processing methods for EEG data.
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.
Duc Nguyen received her B.S. in Bioengineering (Premedical) from the University of California, San Diego. With three years of research and programming experience at UCSD and expertises in small animal surgeries, she is now a Research Assistant at Suppes Brain Lab. She runs EEG experiments for the psychotherapists and Research Associates in emotion and phonemes classifications. Duc maintains the lab and the experimental equipment and software and assists in the creation of the visual and auditory stimuli and analysis programs.
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.
Patrick Suppes is the Lucie Stern Professor Emeritus of Philosophy at Stanford University, Stanford, CA. He has published widely in philosophy and the social sciences, especially psychology. He is conducting research on the brain, with emphasis on language and visual images. He authored Representation and Invariance of Scientific Structures (Univ. Chicago Press, 2002).
Dr. Suppes is a member of the U.S. National Academy of Sciences.
Margot Tuckner received her B.A. degree in Psychology from the University of California, Los Angeles, in 1996. She received her M.A. in Counseling Psychology from Argosy University, in Alameda, CA, in 2007 and is expected to receive her EdD in Counseling Psychology in early 2012. Margot received her CA state license in Marriage and Family Therapy in 2011 is also a member of the California Association of Marriage and Family Therapists.
Margot is currently working in the lab on brain studies in the expression of emotion in the language of couples in psychotherapy. This research includes detailed analysis of emotional and insight codings.
Rui Wang received her B.S and M.S degrees from Tsinghua University, Beijing, China. She received the Ph.D. degree in Electrical Engineering at Stanford University in 2011. She is working at Suppes Brain Lab, as Research Associate, on statistical signal processing methods for recognizing brainwaves of speech stimuli. She is also interested in speech signal processing and automatic speech recognition.
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.