Dave Barker-Plummer
Senior Research Scientist at Stanford University (ONLINE)
Schools
- Stanford University (ONLINE)
Links
Biography
Stanford University (ONLINE)
Dave Barker-Plummer is a 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 atEdinburgh 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. He co-edited the collection Words, Proofs and Diagrams and was program chair of the Diagrams 2006 conference. Dave has taught computer science and logic at Stanford, Swarthmore College and Duke University
Education
- The University of Edinburgh - Ph. D., Artificial Intelligence 1982 - 1988
- Lancaster University - Bachelor’s Degree, Mathematics and Computer Science 1979 - 1982
Read about executive education
Other experts
Popular Courses
Leading People and Teams
ESMT
Berlin, Germany
Nov 19
The Manchester Leadership Development Programme
Alliance Manchester Business School
Manchester, United Kingdom
Jul 1
The Positive Leader: Deep Change and Organizational Transformation
Stephen M. Ross School of Business
Ann Arbor, Michigan, United States
Sep 29
Private Equity: Investing and Creating Value
The Wharton School
Philadelphia, Pennsylvania, United States
Sep 8
Looking for an expert?
Contact us and we'll find the best option for you.