Dave followed the research interest: Logic Teaching
Dave followed the paper: Diagrammatic representation in geometry by Dennis Potter
Dave started following the work of Peter Coppin, University of Toronto, Faculty of Information.
Department Member, CSLI
About
Dave Barker-Plummer is a Senior Research Scientist at Stanford University's Center for the Study of Language and Information. Since 1995 he has managed the Openproof project's work on educational software for teaching logic at the undergraduate level.
Dave holds a Ph.D. from the Department of Artificial Intelligence at Edinburgh University. He is the author of papers on automated reasoning, reasoning with diagrams, and architectures for heterogeneous reasoning. He co-edited the collection Words, Proofs and Diagrams, and was General Chair of the Diagrams 2006 conference.
Dave has taught computer science and logic at Stanford, Swarthmore College and Duke University.
Contact Information
| Homepage: |
