Main content start
Director, Openproof Project
John Etchemendy
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.
Role: Faculty
Project: The Openproof Project