Dave Barker-Plummer

Dave Barker-Plummer has dedicated his career to advancing logic education through technology as a Senior Research Engineer at Stanford University's Center for the Study of Language and Information. After earning his Ph.D. in Artificial Intelligence from the University of Edinburgh under Alan Bundy's supervision, he has managed the Openproof project since 1995, developing innovative educational software for teaching logic at the undergraduate level. His work includes co-authoring influential publications like "Language, Proof and Logic" and "Tarski's World," which have become standard tools in logic education. His expertise spans technology-enhanced education, diagrammatic logic, and automated reasoning, demonstrated through his teaching positions at Stanford University, Duke University, and Swarthmore College. Beyond academia, he maintains a creative outlet as a musician with PAN!C, a San Francisco-based reggae/pop/jazz band, while sharing his insights through his blog as Dr. Gradgrind.