John W. Etchemendy
John W. Etchemendy is the Denning Co-Director of the Stanford Institute for Human-Centered Artificial Intelligence; Patrick Suppes Family Professor in the School of Humanities and Sciences; and former Provost of Stanford University. His book, The Concept of Logical Consequence, deals with issues of truth and alternative interpretations. Language, Proof and Logic, is a widely used introductory text in logic and was one of the first open-sourced textbooks in any field. He also developed Hyperproof, an online system for grading logical proofs, the first system widely available system for grading complex work. Etchemendy served in many leadership roles at Stanford, including 16+ years as the university's provost: the longest tenure in Stanford's history and among the longest in any research-intensive university.