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: