Dave Barker-Plummer
AeroLeads people directory · profile

Dave Barker-Plummer Email & Phone Number

Senior Research Scientist at Stanford University at Stanford University
Location: Stanford, California, United States 6 work roles 2 schools
1 work email found @stanford.edu LinkedIn matched
✓ Verified July 2026 4 data sources Profile completeness 100%

Contact Signals · 1 work email

Work email d****@stanford.edu
LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Stanford University
Role
Senior Research Scientist at Stanford University
Location
Stanford, California, United States

Who is Dave Barker-Plummer? Overview

A concise factual answer block for searchers comparing this professional profile.

Quick answer

Dave Barker-Plummer is listed as Senior Research Scientist at Stanford University at Stanford University, based in Stanford, California, United States. AeroLeads shows a work email signal at stanford.edu and a matched LinkedIn profile for Dave Barker-Plummer.

Dave Barker-Plummer previously worked as Senior Research Scientist at Stanford University and Research Scientist at Stanford University. Dave Barker-Plummer holds Ph. D., Artificial Intelligence from The University Of Edinburgh.

Company email context

Email format at Stanford University

This section adds company-level context without repeating Dave Barker-Plummer's masked contact details.

*@stanford.edu
68% confidence

AeroLeads found 1 current-domain work email signal for Dave Barker-Plummer. Compare company email patterns before reaching out.

View email format View company profile Management contacts
Profile bio

About Dave Barker-Plummer

I have a background in logic and automated reasoning. I am interested in educational software and in the logic of diagrammatic representations.I am the co-author of three logic text books, and co-editor of two academic collections.

Listed skills include Artificial Intelligence, Technology Enhanced Education, Logic, Software Development, and 25 others.

Current workplace

Dave Barker-Plummer's current company

Company context helps verify the profile and gives searchers a useful next step.

Stanford University
Stanford University
Senior Research Scientist at Stanford University
AeroLeads page
Company profile
View company profile Email format
6 roles

Dave Barker-Plummer work experience

A career timeline built from the work history available for this profile.

Senior Research Scientist

Current
Stanford University

Stanford, Ca

I manage the Openproof project where we develop courseware for teaching logic. Our packages include Language, Proof and Logic which has been translated into German, Japanese and Portuguese; Tarski's World which has been in print since the mid 1980s and Hyperproof which will soon be republished in a new edition.Our courseware packages consist of text books, desktop applications and online services, including video lectures available through Stanford Online.As part of this project we analyze learner data to uncover error patterns common to logic learners.I also have an active research program into the logic of diagrammatic representations.

Sep 1995 - Present

Research Scientist

Stanford University

Stanford University

Collaborators have included Jon Barwise, Richard Cox, Robert Dale, John Etchemendy, Mark Greaves, Albert Liu, Michael Murray, Nik Swoboda, Atsushi Shimojima, and many others.

Sep 1995 - Sep 2010

Associate Professor

Swarthmore College

Swarthmore, Pa

Taught all aspects of the computer science curriculum including AI, automated reasoning, data structures and algorithms, theory of computation, programming language design, and intro computer science.Active research project in collaboration with Sidney Bailin into automated natural deduction in set theory, with work published in the CADE conferences and the Journal of Automated Reasoning.

Sep 1990 - Sep 1994

Research Scientist

Trusted Information Systems

Glenwood, Md

Investigated the use of HOL as the basis for program verification. Project led by Steve Crocker.

Sep 1989 - Sep 1990

Visiting Assistant Professor

Duke University

Durham, Nc

Taught undergraduate course in Artificial Intelligence, and a graduate course in Automated Reasoning.

Jan 1989 - Sep 1989

Research Scientist

Microelectronics And Computer Technology Corporation

Austin, Tx

Worked on research project led by Hassan Ait-Kaci and Roger Nasr on the design of multi-paradigm programming languages. Developed first prototype interpreter for LIFE, a language combining logic, functional and object-oriented paradigms.

Jun 1987 - Dec 1988
2 education records

Dave Barker-Plummer education

Ph. D., Artificial Intelligence

The University Of Edinburgh

Ph.D. Under the supervision of Prof. Alan Bundy. My research into automated reasoning involved investigating techniques for choosing.

Bachelor’S Degree, Mathematics And Computer Science, 2I

Lancaster University

Four parts computer science, three parts mathematics, two parts philosophy.

FAQ

Frequently asked questions about Dave Barker-Plummer

Quick answers generated from the profile data available on this page.

What company does Dave Barker-Plummer work for?

Dave Barker-Plummer works for Stanford University.

What is Dave Barker-Plummer's role at Stanford University?

Dave Barker-Plummer is listed as Senior Research Scientist at Stanford University at Stanford University.

What is Dave Barker-Plummer's email address?

AeroLeads has found 1 work email signal at @stanford.edu for Dave Barker-Plummer at Stanford University.

Where is Dave Barker-Plummer based?

Dave Barker-Plummer is based in Stanford, California, United States while working with Stanford University.

What companies has Dave Barker-Plummer worked for?

Dave Barker-Plummer has worked for Stanford University, Swarthmore College, Trusted Information Systems, Duke University, and Microelectronics And Computer Technology Corporation.

How can I contact Dave Barker-Plummer?

You can use AeroLeads to view verified contact signals for Dave Barker-Plummer at Stanford University, including work email, phone, and LinkedIn data when available.

What schools did Dave Barker-Plummer attend?

Dave Barker-Plummer holds Ph. D., Artificial Intelligence from The University Of Edinburgh.

What skills is Dave Barker-Plummer known for?

Dave Barker-Plummer is listed with skills including Artificial Intelligence, Technology Enhanced Education, Logic, Software Development, Diagrammatic Reasoning And Representation, Research, Programming Language Design, and Cognitive Science.

Find 750M verified contacts

Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.

People with similar names

Check these profiles if this is not the Dave Barker-Plummer you were looking for.

View similar profiles