David J. Barker-Plummer
Academic
Who is David J. Barker-Plummer?
Dave Barker-Plummer is an Senior Research Scientist at Stanford University's Center for the Study of Language and Information. He holds a Ph.D. from the Department of Artificial Intelligence at Edinburgh University. Since 1995 he has managed the Openproof project's work on educational software for teaching logic at the undergraduate level. He is the author of papers on automated reasoning, reasoning with diagrams, and architectures for heterogeneous reasoning. Dave has taught computer science and logic at Stanford, Swarthmore College and Duke University.
We need you!
Help us build the largest biographies collection on the web!
- Also known as
- Dave Barker-Plummer
- Profession
- Employment
- Stanford University
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"David J. Barker-Plummer." Biographies.net. STANDS4 LLC, 2024. Web. 23 Apr. 2024. <https://www.biographies.net/biography/david-j.-barker-plummer/m/0k6dy4m>.
Discuss this David J. Barker-Plummer biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In