Follow us on Twitter!Tweets by StanfordCSLI
The Center for the Study of Language and Information (CSLI) serves Stanford faculty and students who are engaged in research involving computational, logical, and stochastic modeling of cognitive functions and processes. CSLI was founded in 1983 by researchers from Stanford University, SRI International, and (the former Xerox) PARC. At present, the eleven core and twenty-four affiliated Stanford faculty members and their students are concentrated in the departments of Psychology, Linguistics, Philosophy, Computer Science, and Communication, the School of Education, and the interdepartmental Symbolic Systems Program. The Center’s objective is to facilitate collaborations among these researchers and thereby amplify Stanford’s already considerable strengths in cognitive sciences.
ProjectThe Openproof Project
The Openproof project at Stanford's Center for the Study of Language and Information (CSLI) is concerned with the application of software to problems in logic. Since the early 1980's we have been developing applications in logic education which are both innovative and effective. The development of these courseware packages has in turn informed and influenced our research agenda.
Copyright © The Board of Trustees of The Leland Stanford Junior University. All Rights Reserved.