Dr. Gradgrind
| Industry | Education |
|---|---|
| Location | San Francisco Bay Area, United States |
| Introduction | Dr. Gradgrind is Dave Barker-Plummer, a research scientist at Stanford University's Center for the Study of Language and Information.
Dr. Gradgrind manages the Openproof project, a project producing educational resources for teaching logic at the introductory level. The Openproof project is responsible for the popular Language, Proof and Logic and Tarski's World courseware packages, and an online course at Stanford Online. A research goal of the Openproof project is to investigate diagrammatic logics by developing theory and by implementing those logics. Dr. Gradgrind has published papers in this area, and is an organizer of the Diagrams conference series. Dr. Gradgrind posts occasionally about subjects such as logic, technologically enhanced education and software development. |