CINXE.COM
Center for the Study of Language and Information
<!DOCTYPE html> <html lang="en" dir="ltr" prefix="og: https://ogp.me/ns#" class="no-js"> <head> <meta charset="utf-8" /> <script async src="https://www.googletagmanager.com/gtag/js?id=G-BB4QM8Y547"></script> <script>window.dataLayer = window.dataLayer || [];function gtag(){dataLayer.push(arguments)};gtag("js", new Date());gtag("set", "developer_id.dMDhkMT", true);gtag("config", "G-BB4QM8Y547", {"groups":"default","page_placeholder":"PLACEHOLDER_page_location","allow_ad_personalization_signals":false,"cookie_domain":"csli.stanford.edu","cookie_prefix":"su","cookie_expires":15552000});</script> <link rel="canonical" href="https://csli.stanford.edu/" /> <link rel="shortlink" href="https://csli.stanford.edu/" /> <meta property="og:site_name" content="Center for the Study of Language and Information" /> <meta property="og:type" content="website" /> <meta property="og:url" content="https://csli.stanford.edu/" /> <meta property="og:title" content="Center for the Study of Language and Information" /> <meta property="og:image" content="https://csli.stanford.edu/sites/g/files/sbiybj24086/files/styles/card_1192x596/public/media/image/photo-epel-stanford-campus.jpg?h=56d0ca2e&itok=9GKsO_DA" /> <meta property="og:image:url" content="https://csli.stanford.edu/sites/g/files/sbiybj24086/files/styles/card_1192x596/public/media/image/photo-epel-stanford-campus.jpg?h=56d0ca2e&itok=9GKsO_DA" /> <meta property="og:image:alt" content="View of the front of Stanford Campus" /> <meta name="twitter:card" content="summary_large_image" /> <meta name="twitter:title" content="Center for the Study of Language and Information" /> <meta name="twitter:image" content="https://csli.stanford.edu/sites/g/files/sbiybj24086/files/styles/card_1192x596/public/media/image/photo-epel-stanford-campus.jpg?h=56d0ca2e&itok=9GKsO_DA" /> <meta name="twitter:image:alt" content="View of the front of Stanford Campus" /> <meta name="Generator" content="Drupal 10 (https://www.drupal.org)" /> <meta name="MobileOptimized" content="width" /> <meta name="HandheldFriendly" content="true" /> <meta name="viewport" content="width=device-width, initial-scale=1.0" /> <link rel="icon" href="/profiles/custom/stanford_profile/themes/stanford_basic/favicon.ico" type="image/vnd.microsoft.icon" /> <link rel="apple-touch-icon" sizes="60x60" href="https://www-media.stanford.edu/assets/favicon/apple-touch-icon-60x60.png" /> <link rel="apple-touch-icon" sizes="72x72" href="https://www-media.stanford.edu/assets/favicon/apple-touch-icon-72x72.png" /> <link rel="apple-touch-icon" sizes="76x76" href="https://www-media.stanford.edu/assets/favicon/apple-touch-icon-76x76.png" /> <link rel="apple-touch-icon" sizes="114x114" href="https://www-media.stanford.edu/assets/favicon/apple-touch-icon-114x114.png" /> <link rel="apple-touch-icon" sizes="120x120" href="https://www-media.stanford.edu/assets/favicon/apple-touch-icon-120x120.png" /> <link rel="apple-touch-icon" sizes="144x144" href="https://www-media.stanford.edu/assets/favicon/apple-touch-icon-144x144.png" /> <link rel="apple-touch-icon" sizes="152x152" href="https://www-media.stanford.edu/assets/favicon/apple-touch-icon-152x152.png" /> <link rel="apple-touch-icon" sizes="180x180" href="https://www-media.stanford.edu/assets/favicon/apple-touch-icon-180x180.png" /> <link rel="icon" type="image/png" href="https://www-media.stanford.edu/assets/favicon/favicon-196x196.png" sizes="196x196" /> <link rel="icon" type="image/png" href="https://www-media.stanford.edu/assets/favicon/favicon-192x192.png" sizes="192x192" /> <link rel="icon" type="image/png" href="https://www-media.stanford.edu/assets/favicon/favicon-128.png" sizes="128x128" /> <link rel="icon" type="image/png" href="https://www-media.stanford.edu/assets/favicon/favicon-96x96.png" sizes="96x96" /> <link rel="icon" type="image/png" href="https://www-media.stanford.edu/assets/favicon/favicon-32x32.png" sizes="32x32" /> <link rel="icon" type="image/png" href="https://www-media.stanford.edu/assets/favicon/favicon-16x16.png" sizes="16x16" /> <link rel="mask-icon" href="https://www-media.stanford.edu/assets/favicon/safari-pinned-tab.svg" color="#ffffff"> <meta name="application-name" content="Stanford University"/> <meta name="msapplication-TileColor" content="#FFFFFF" /> <meta name="msapplication-TileImage" content="https://www-media.stanford.edu/assets/favicon/mstile-144x144.png" /> <meta name="msapplication-square70x70logo" content="https://www-media.stanford.edu/assets/favicon/mstile-70x70.png" /> <meta name="msapplication-square150x150logo" content="https://www-media.stanford.edu/assets/favicon/mstile-150x150.png" /> <meta name="msapplication-square310x310logo" content="https://www-media.stanford.edu/assets/favicon/mstile-310x310.png" /> <title>Center for the Study of Language and Information</title> <link rel="stylesheet" media="all" href="/sites/g/files/sbiybj24086/files/css/css_YPSO0cULeNLPGa0ftHgI36ajjuNIUD6iOmUq9MFxIy0.css?delta=0&language=en&theme=stanford_basic&include=eJyNUNFSxCAM_CEOPolJS2ijFBgSBvl7Oe9OPJ2qL0w2WTa78SkKNOR0oPGz1g2XK2Tl_yBo3ulQL_XILFDEVjIBeqry3PsK1CiiT8XZBZhWm2FDKz0jm5gc6sf4ch1Mci7JU0DL0sOgnvRP-RkKbAXyrgvCKvYTn3-5BzkbP5m1v5r9SdU3ce1rCJdGTnbFnQUPM46C305kPl6FbxIovhpXaoag7_AfiVtnan1TM_NDY3Z0jbkugXhHNyUPdATGEefhV93Q2CFY9ApZKMV395rnQA" /> <link rel="stylesheet" media="all" href="https://use.fontawesome.com/releases/v5.13.1/css/all.css" /> <link rel="stylesheet" media="all" href="https://use.fontawesome.com/releases/v5.13.1/css/v4-shims.css" /> <link rel="stylesheet" media="all" href="/sites/g/files/sbiybj24086/files/css/css_-p5tx7qSJTkJOx5aDh1-cYHlpPUez2iVmxg10tFSon4.css?delta=3&language=en&theme=stanford_basic&include=eJyNUNFSxCAM_CEOPolJS2ijFBgSBvl7Oe9OPJ2qL0w2WTa78SkKNOR0oPGz1g2XK2Tl_yBo3ulQL_XILFDEVjIBeqry3PsK1CiiT8XZBZhWm2FDKz0jm5gc6sf4ch1Mci7JU0DL0sOgnvRP-RkKbAXyrgvCKvYTn3-5BzkbP5m1v5r9SdU3ce1rCJdGTnbFnQUPM46C305kPl6FbxIovhpXaoag7_AfiVtnan1TM_NDY3Z0jbkugXhHNyUPdATGEefhV93Q2CFY9ApZKMV395rnQA" /> <link rel="stylesheet" media="all" href="/sites/g/files/sbiybj24086/files/css/css_oOjPVf4yySku9-Ntrs-fjdlAtZc7BSa9e5adSPoOttY.css?delta=4&language=en&theme=stanford_basic&include=eJyNUNFSxCAM_CEOPolJS2ijFBgSBvl7Oe9OPJ2qL0w2WTa78SkKNOR0oPGz1g2XK2Tl_yBo3ulQL_XILFDEVjIBeqry3PsK1CiiT8XZBZhWm2FDKz0jm5gc6sf4ch1Mci7JU0DL0sOgnvRP-RkKbAXyrgvCKvYTn3-5BzkbP5m1v5r9SdU3ce1rCJdGTnbFnQUPM46C305kPl6FbxIovhpXaoag7_AfiVtnan1TM_NDY3Z0jbkugXhHNyUPdATGEefhV93Q2CFY9ApZKMV395rnQA" /> <link rel="stylesheet" media="print" href="/sites/g/files/sbiybj24086/files/css/css_tZIeCIS4JRnKB8x0OJTwtLZhWUKWR1Oqr30fHU961WI.css?delta=5&language=en&theme=stanford_basic&include=eJyNUNFSxCAM_CEOPolJS2ijFBgSBvl7Oe9OPJ2qL0w2WTa78SkKNOR0oPGz1g2XK2Tl_yBo3ulQL_XILFDEVjIBeqry3PsK1CiiT8XZBZhWm2FDKz0jm5gc6sf4ch1Mci7JU0DL0sOgnvRP-RkKbAXyrgvCKvYTn3-5BzkbP5m1v5r9SdU3ce1rCJdGTnbFnQUPM46C305kPl6FbxIovhpXaoag7_AfiVtnan1TM_NDY3Z0jbkugXhHNyUPdATGEefhV93Q2CFY9ApZKMV395rnQA" /> <script src="/core/assets/vendor/modernizr/modernizr.min.js?v=3.11.7"></script> <script> gtag('config', 'G-BECJQXLNCY', {cookie_domain: window.location.host, cookie_prefix: "sws", "ga-expire": 15552000}); </script> </head> <body class="sws-acsf front role--anonymous"> <div class="dialog-off-canvas-main-canvas" data-off-canvas-main-canvas> <header class="su-masthead su-masthead--right"> <a href="#main-content" class="visually-hidden focusable su-skipnav su-skipnav--content"> Skip to main content </a> <a href="#secondary-navigation" class="visually-hidden focusable su-skipnav su-skipnav--secondary"> Skip to secondary navigation </a> <div class="su-brand-bar su-brand-bar--default"> <div class="su-brand-bar__container"><a class="su-brand-bar__logo" href="https://www.stanford.edu">Stanford University<span class="su-brand-bar__link--a11y"> (link is external)</span> </a></div> </div> <section class="su-masthead--inner" aria-label="Page logo, menu and search"> <div id="block-stanford-basic-branding" class="su-lockup su-lockup--option-a"> <a href="https://csli.stanford.edu/" > <div class="su-lockup__cell1"> <div class="su-lockup__wordmark-wrapper"> <span class="su-lockup__wordmark">Stanford</span> </div> </div> <div class="su-lockup__cell2"> <span class="su-lockup__line1" >Center for the Study of Language and Information</span> </div> </a> </div> <div class="su-site-search su-site-search" role="search"> <form action="/search" method="get" accept-charset="UTF-8"> <label class="su-site-search__sr-label" for="key">Search this site</label> <input type="text" id="key" name="key" class="su-site-search__input" placeholder="Search this site" maxlength="128"> <button type="submit" name="search" class="su-site-search__submit su-sr-only-text">Submit Search</button></form> </div> <div id="block-stanford-basic-main-navigation" class="system-menu-block main"> <nav class="su-multi-menu su-multi-menu--buttons su-multi-menu--right no-js" aria-label="main menu"> <button class="su-multi-menu__nav-toggle su-multi-menu__nav-toggle--right " aria-expanded="false">Menu</button> <ul class="su-multi-menu__menu su-multi-menu__menu-lv1"><li class="su-multi-menu__item su-multi-menu__item--active-trail su-multi-menu__item--current"><a class="su-multi-menu__link" href="/home" aria-current="true"><span class="su-multi-menu__link-text-wrapper">Home</span></a></li><li class="su-multi-menu__item su-multi-menu__item--parent"><a class="su-multi-menu__link" href="/events"><span class="su-multi-menu__link-text-wrapper">Events</span></a><ul class="su-multi-menu__menu su-multi-menu__menu-lv2"><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="/events"><span class="su-multi-menu__link-text-wrapper">Upcoming Events</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="/events/past-events"><span class="su-multi-menu__link-text-wrapper">Past Events</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="https://linguistics.stanford.edu/events/upcoming-events"><span class="su-multi-menu__link-text-wrapper">Linguistic Dept. Events</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="https://philosophy.stanford.edu/events/upcoming-events"><span class="su-multi-menu__link-text-wrapper">Philosophy Dept. Events</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="https://psychology.stanford.edu/news-events/upcoming-events"><span class="su-multi-menu__link-text-wrapper">Psychology Dept. Events</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="https://symsys.stanford.edu/events/upcoming-events"><span class="su-multi-menu__link-text-wrapper">Symbolic Systems Events</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="https://cs.stanford.edu/index.php?q=events/calendar"><span class="su-multi-menu__link-text-wrapper">Computer Science Dept. Events</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="https://shc.stanford.edu/events?qt-events=1#qt-events"><span class="su-multi-menu__link-text-wrapper">Humanities Center Events</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="https://neuroscience.stanford.edu/events/upcoming-events"><span class="su-multi-menu__link-text-wrapper">Neurosciences Institute Events</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="https://hai.stanford.edu/events"><span class="su-multi-menu__link-text-wrapper">HAI Events</span></a></li></ul></li><li class="su-multi-menu__item su-multi-menu__item--parent"><a class="su-multi-menu__link" href="/projects"><span class="su-multi-menu__link-text-wrapper">Projects</span></a><ul class="su-multi-menu__menu su-multi-menu__menu-lv2"><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="/projects/center-explanation-consciousness"><span class="su-multi-menu__link-text-wrapper">Center for the Explanation of Consciousness</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="/projects/computational-semantics-lab"><span class="su-multi-menu__link-text-wrapper">Computational Semantics Lab</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="/projects/language-and-natural-reasoning"><span class="su-multi-menu__link-text-wrapper">Language and Natural Reasoning</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="/projects/logical-dynamics-lab"><span class="su-multi-menu__link-text-wrapper">Logical Dynamics Lab</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="/projects/pragmatic-enrichment-contextual-interface-lab"><span class="su-multi-menu__link-text-wrapper">Pragmatic Enrichment & Contextual Interface Lab</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="/projects/psychosemantics-lab"><span class="su-multi-menu__link-text-wrapper">Psychosemantics Lab</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="/projects/metaphysics-research-lab"><span class="su-multi-menu__link-text-wrapper">The Metaphysics Research Lab</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="/projects/openproof-project"><span class="su-multi-menu__link-text-wrapper">The Openproof Project</span></a></li></ul></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="/people" data-toggle="tooltip" title="A listing of people types"><span class="su-multi-menu__link-text-wrapper">People</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="https://web.stanford.edu/group/cslipublications/cslipublications/site/index.shtml"><span class="su-multi-menu__link-text-wrapper">Publications</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="/contact"><span class="su-multi-menu__link-text-wrapper">Contact</span></a></li><li class="su-multi-menu__item"><a class="su-multi-menu__link" href="/csli-summer-internship-program-2024"><span class="su-multi-menu__link-text-wrapper">Summer Internship</span></a></li></ul></nav> </div> </section> </header><main class="page-content" id="page-content"><div data-drupal-messages-fallback class="hidden"></div> <div id="block-stanford-basic-content" class="system-main-block block-system block-stanford-basic-content"> <section class="node basic-page node--layout-full"> <div class="content"> <div class="jumpstart-ui--two-column flex-container centered-container"> <div class="left-region flex-lg-3-of-12"> <div class="inline-block stanford-component-block block-layout-builder"> <div class="su-intro su-margin-bottom-3 block-content stanford-component-block su-component entity-reference-revisions label-hidden"> <div class="paragraph-item ptype-stanford-wysiwyg"> <div class="ptype-stanford-wysiwyg paragraph paragraph--type--stanford-wysiwyg paragraph--view-mode--default"> <div class="su-wysiwyg-text paragraph stanford-wysiwyg text-long label-hidden"><br><h2>Follow us on Twitter!</h2> <div class="align-center media-entity-wrapper embeddable"> <div class="media embeddable field-media-embeddable-code string-long label-hidden"><div class="embeddable-content"><a class="twitter-timeline" data-height="600" href="https://twitter.com/StanfordCSLI?ref_src=twsrc%5Etfw">Tweets by StanfordCSLI</a> <script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script></div></div> </div> </div> </div> </div> </div> </div> </div> <div class="flex-lg-9-of-12 main-region"> <div class="inline-block stanford-component-block block-layout-builder"> <div class="su-intro su-margin-bottom-3 block-content stanford-component-block su-component entity-reference-revisions label-hidden"> <div class="paragraph-item ptype-stanford-wysiwyg"> <div class="ptype-stanford-wysiwyg paragraph paragraph--type--stanford-wysiwyg paragraph--view-mode--default"> <div class="su-wysiwyg-text paragraph stanford-wysiwyg text-long label-hidden"><p> </p> <div class="align-center media-entity-wrapper image"> <div class="media image field-media-image label-hidden"> <picture> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_large/public/media/image/stanford_1.jpg.webp?itok=ssXltH3a 1x" media="screen and (min-width: 1200px)" type="image/webp" width="2000" height="1196"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_medium/public/media/image/stanford_1.jpg.webp?itok=Nmsxj5ML 1x" media="screen and (min-width: 992px)" type="image/webp" width="1300" height="777"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_small/public/media/image/stanford_1.jpg.webp?itok=nzsGYEJf 1x" media="(min-width: 0em)" type="image/webp" width="800" height="478"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_large/public/media/image/stanford_1.jpg?itok=ssXltH3a 1x" media="screen and (min-width: 1200px)" type="image/jpeg" width="2000" height="1196"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_medium/public/media/image/stanford_1.jpg?itok=Nmsxj5ML 1x" media="screen and (min-width: 992px)" type="image/jpeg" width="1300" height="777"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_small/public/media/image/stanford_1.jpg?itok=nzsGYEJf 1x" media="(min-width: 0em)" type="image/jpeg" width="800" height="478"> <img loading="lazy" src="/sites/g/files/sbiybj24086/files/styles/responsive_large/public/media/image/stanford_1.jpg?itok=ssXltH3a" width="2000" height="1196" alt> </picture> </div> </div> <h2>Mission Statement</h2> <p>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 <a href="https://psychology.stanford.edu/">Psychology</a>, <a href="https://linguistics.stanford.edu/">Linguistics</a>, <a href="https://philosophy.stanford.edu/">Philosophy</a>, <a href="https://cs.stanford.edu/">Computer Science</a>, and <a href="https://comm.stanford.edu/">Communication</a>, the <a href="https://ed.stanford.edu/">School of Education</a>, and the interdepartmental <a href="https://symsys.stanford.edu/">Symbolic Systems Program</a>. The Center鈥檚 objective is to facilitate collaborations among these researchers and thereby amplify Stanford鈥檚 already considerable strengths in cognitive sciences.</p> <p><a data-entity-substitution="canonical" data-entity-type="node" data-entity-uuid="c74631d1-b297-4b8b-817d-478d68ac1865" href="/mission-statement" title="Mission Statement">Read more</a></p> <h2>Featured</h2> <h3><strong>Person</strong></h3> <a data-entity-substitution="canonical" data-entity-type="node" data-entity-uuid="3eb37349-f011-4a1c-b744-9bcd3b6cd621" href="/people/michael-frank" title="Michael Frank"> <div class="align-left media-entity-wrapper image"> <div class="media image field-media-image label-hidden"> <picture> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_large/public/media/image/mike_0.jpg.webp?itok=jA80M6zm 1x" media="screen and (min-width: 1200px)" type="image/webp" width="100" height="100"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_medium/public/media/image/mike_0.jpg.webp?itok=1pbFKBkc 1x" media="screen and (min-width: 992px)" type="image/webp" width="100" height="100"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_small/public/media/image/mike_0.jpg.webp?itok=zx3xrNws 1x" media="(min-width: 0em)" type="image/webp" width="100" height="100"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_large/public/media/image/mike_0.jpg?itok=jA80M6zm 1x" media="screen and (min-width: 1200px)" type="image/jpeg" width="100" height="100"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_medium/public/media/image/mike_0.jpg?itok=1pbFKBkc 1x" media="screen and (min-width: 992px)" type="image/jpeg" width="100" height="100"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_small/public/media/image/mike_0.jpg?itok=zx3xrNws 1x" media="(min-width: 0em)" type="image/jpeg" width="100" height="100"> <img loading="lazy" src="/sites/g/files/sbiybj24086/files/styles/responsive_large/public/media/image/mike_0.jpg?itok=jA80M6zm" width="100" height="100" alt> </picture> </div> </div> </a> <p><a data-entity-substitution="canonical" data-entity-type="node" data-entity-uuid="3eb37349-f011-4a1c-b744-9bcd3b6cd621" href="/people/michael-frank">Michael Frank</a><br> 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.</p> <p>Michael Frank is an associate professor of psychology at Stanford, and director of CSLI. Mike did his his undergrad at Stanford in Symbolic Systems and his PhD work at MIT. </p> <h3><strong>Project</strong></h3> <div class="align-left media-entity-wrapper image"> <div class="media image field-media-image label-hidden"> <picture> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_large/public/media/image/openproof_0_0.png.webp?itok=miXtH0ON 1x" media="screen and (min-width: 1200px)" type="image/webp" width="100" height="74"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_medium/public/media/image/openproof_0_0.png.webp?itok=m01CrSao 1x" media="screen and (min-width: 992px)" type="image/webp" width="100" height="74"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_small/public/media/image/openproof_0_0.png.webp?itok=bNqrdw_X 1x" media="(min-width: 0em)" type="image/webp" width="100" height="74"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_large/public/media/image/openproof_0_0.png?itok=miXtH0ON 1x" media="screen and (min-width: 1200px)" type="image/png" width="100" height="74"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_medium/public/media/image/openproof_0_0.png?itok=m01CrSao 1x" media="screen and (min-width: 992px)" type="image/png" width="100" height="74"> <source srcset="/sites/g/files/sbiybj24086/files/styles/responsive_small/public/media/image/openproof_0_0.png?itok=bNqrdw_X 1x" media="(min-width: 0em)" type="image/png" width="100" height="74"> <img loading="lazy" src="/sites/g/files/sbiybj24086/files/styles/responsive_large/public/media/image/openproof_0_0.png?itok=miXtH0ON" width="100" height="74" alt> </picture> </div> </div> <p><a data-entity-substitution="canonical" data-entity-type="node" data-entity-uuid="0bdd8be6-9d37-4aae-aa5d-a038af0449b5" href="/projects/openproof-project">The Openproof Project</a><br> 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.</p></div> </div> </div> </div> </div> </div> </div> </div><!-- /.content --></section><!-- /.node as page --> </div> <button id="back-to-top"> <span class="fas fa-chevron-up"></span> Back to Top </button> </main> <footer id="footer"> <div class="su-global-footer "> <div class="su-global-footer__container"> <div class="su-global-footer__brand"> <a id="su-logo" class="su-logo " aria-hidden="true" tabindex="-1" href="https://www.stanford.edu">Stanford<br>University<span class="su-global-footer__link-a11y"> (link is external)</span> </a> </div> <div class="su-global-footer__content"> <nav aria-label="global footer menu"> <ul class="su-global-footer__menu su-global-footer__menu--global"> <li><a href="https://www.stanford.edu" rel="nofollow">Stanford Home<span class="su-global-footer__link-a11y"> (link is external)</span> </a></li> <li><a href="https://visit.stanford.edu/basics/" rel="nofollow">Maps & Directions<span class="su-global-footer__link-a11y"> (link is external)</span> </a></li> <li><a href="https://www.stanford.edu/search/" rel="nofollow">Search Stanford<span class="su-global-footer__link-a11y"> (link is external)</span> </a></li> <li><a href="https://emergency.stanford.edu" rel="nofollow">Emergency Info<span class="su-global-footer__link-a11y"> (link is external)</span> </a></li> </ul> <ul class="su-global-footer__menu su-global-footer__menu--policy"> <li><a href="https://www.stanford.edu/site/terms/" rel="nofollow" title="Terms of use for sites">Terms of Use<span class="su-global-footer__link-a11y"> (link is external)</span> </a></li> <li><a href="https://www.stanford.edu/site/privacy/" rel="nofollow" title="Privacy and cookie policy">Privacy<span class="su-global-footer__link-a11y"> (link is external)</span> </a></li> <li><a href="https://uit.stanford.edu/security/copyright-infringement" rel="nofollow" title="Report alleged copyright infringement">Copyright<span class="su-global-footer__link-a11y"> (link is external)</span> </a></li> <li><a href="https://adminguide.stanford.edu/chapter-1/subchapter-5/policy-1-5-4" rel="nofollow" title="Ownership and use of Stanford trademarks and images">Trademarks<span class="su-global-footer__link-a11y"> (link is external)</span> </a></li> <li><a href="https://non-discrimination.stanford.edu/" rel="nofollow" title="Non-discrimination policy">Non-Discrimination<span class="su-global-footer__link-a11y"> (link is external)</span> </a></li> <li><a href="https://www.stanford.edu/site/accessibility" rel="nofollow" title="Report web accessibility issues">Accessibility<span class="su-global-footer__link-a11y"> (link is external)</span> </a></li> </ul> </nav> <div class="su-global-footer__copyright"> <span>© Stanford University.</span> <span> Stanford, California 94305.</span> </div> </div> </div> </div> <!-- su-global-footer end --> </footer> </div> <script type="application/json" data-drupal-selector="drupal-settings-json">{"path":{"baseUrl":"\/","pathPrefix":"","currentPath":"node\/51","currentPathIsAdmin":false,"isFront":true,"currentLanguage":"en"},"pluralDelimiter":"\u0003","suppressDeprecationErrors":true,"google_analytics":{"account":"G-BB4QM8Y547","trackOutbound":true,"trackMailto":true,"trackTel":true,"trackDownload":true,"trackDownloadExtensions":"7z|aac|arc|arj|asf|asx|avi|bin|csv|doc(x|m)?|dot(x|m)?|exe|flv|gif|gz|gzip|hqx|jar|jpe?g|js|mp(2|3|4|e?g)|mov(ie)?|msi|msp|pdf|phps|png|ppt(x|m)?|pot(x|m)?|pps(x|m)?|ppam|sld(x|m)?|thmx|qtm?|ra(m|r)?|sea|sit|tar|tgz|torrent|txt|wav|wma|wmv|wpd|xls(x|m|b)?|xlt(x|m)|xlam|xml|z|zip","trackColorbox":true},"data":{"extlink":{"extTarget":false,"extTargetNoOverride":false,"extNofollow":false,"extNoreferrer":false,"extFollowNoOverride":false,"extClass":"su-link su-link--external","extLabel":" (link is external)","extImgClass":false,"extSubdomains":false,"extExclude":"","extInclude":"","extCssExclude":".localist-widget, #lclst_widget_footer, .oembed-lazyload__button","extCssExplicit":"#page-content, .su-local-footer","extAlert":false,"extAlertText":"This link will take you to an external web site. We are not responsible for their content.","mailtoClass":"mailto","mailtoLabel":" (link sends email)","extUseFontAwesome":false,"extIconPlacement":"append","extFaLinkClasses":"fa fa-external-link","extFaMailtoClasses":"fa fa-envelope-o","whitelistedDomains":[]}},"stanford_basic":{"nav_dropdown_enabled":false},"user":{"uid":0,"permissionsHash":"9896f1e95b8a995ae2e97a55ee7a422875032d1761787a3f03c5310fd90d1bbb"}}</script> <script src="/sites/g/files/sbiybj24086/files/js/js_QekUNdU-wqmGjcdRAW2EXuHUOl8vHOFYPUr506VieM4.js?scope=footer&delta=0&language=en&theme=stanford_basic&include=eJxdjVEKwzAMQy8U6iMFr3Ezb05i7KSst18YYx39EXrigXJrWShiRTk6rw75MoTHKOodrcfB8A9hlro1S_GGzit8MtCrC9cnJBuKsnzxdNXaxvPgTqJk4NyJyxx3Ws7Pn10oMUJiV8HjDV9tRPg"></script> </body> </html>