Dave Barker-Plummer -- Teaching

Dave Barker-Plummer

Senior Research Scientist, CSLI, Stanford University

Cordura Hall, Stanford University, Stanford, CA, 94305-4101, USA
PH: +1 650 723 9030 FAX: +1 650 725 2166

Making the simple complicated is commonplace; making the complicated simple, awsomely simple, that's creativity. -- Charles Mingus

Research Teaching Publications Biography

Teaching

Courses Taught

Duke University --- Department of Computer Science

Introduction to Artificial Intelligence
Introduction to Automated Reasoning (graduate class)

Swarthmore College --- Computer Science Program

Introduction to Computer Science
Data Structures and Algorithms
Introduction to Artificial Intelligence
Introduction to Automated Reasoning
Programming Language Design
Fundamental Structures of Computer Science
Great Ideas in Computer Science
The Structure and Interpretation of Computer Programs
Social Implications of Computing Technology

Stanford University --- Department of Philosophy

Basic Concepts in Mathematical Logic
Logic, Argumentation and Reasoning
Mathematical Logic

Stanford University --- Continuing Studies

Logic, Argumentation and Reasoning

Workshops

European Summer School and Logic, Language and Information (Prague, August 1996)

Logic, Education and Computation: Hyperproof and Tarski's World

Information Theoretic Approaches to Logic, Language and Computation (London, July 1996)

Teaching Logic Using Computers

Art is science having more than seven variables -- Stereolab

My Personal Page PAN!C