Home » User account » reseda » reseda

John David Stone



Campus Phone: 

(641) 269-3181


Ames, Iowa

High School: 

Ames Senior High School

Personal Interests: 

reading, conversation


faculty info column 1

On-Campus Address: 

Noyce 3829
1116 Eighth Avenue
Grinnell, IA 50112
United States

Office Hours: 

(fall 2013) Mondays, 9:30 - 11:30 a.m.; Wednesdays, 2:15 - 4:15 p.m.; Thursdays, 1:15 - 3:15 p.m.; or by appointment

Education / Degrees: 

B.A. in linguistics, University of Chicago, 1972;
Ph.D. in Philosophy, University of Texas at Austin, 1976;
Post-graduate studies, Arizona State University

Courses Taught: 

Algorithms and data structures;
Algorithms and software design;
Analysis of algorithms;
Artificial intelligence;
Automata, formal languages, and computational complexity;
Computational linguistics;
Computer networks;
Computer programming with Pascal;
Data structures;
Directed research: Restoring Greek;
Directed summer research: A German spelling checker;
Directed summer research: Grinnell Scheme;
Directed summer research: Syndication software development;
Discrete structures;
Fundamentals of computer science;
Fundamentals of computer science I;
Fundamentals of computer science II;
Guided reading: Artificial intelligence;
Guided reading: Artificial intelligence and Scheme;
Guided reading: Artificial intelligence and theorem-proving;
Guided reading: Computer science and artificial intelligence;
Guided reading: Copyright alternatives;
Guided reading: LISP;
Guided reading: Logic and set theory;
Guided reading: Scheme and computer science theory;
Guided reading: The Linux kernel;
History of modern philosophy;
Honors colloquium: Recursion;
Honors thesis: Theology and ethics;
Independent project: Command language and directory structures;
Independent project: Computational linguistics;
Independent project: Computer graphics;
Independent project: Computer learning and problem solving;
Independent project: Denotational semantics;
Independent project: Extended study in software design;
Independent project: Font recognition;
Independent project: Formalizations of natural languages;
Independent project: FORTRAN programming;
Independent project: Functional programming languages;
Independent project: Logic and languages;
Independent project: Machine problem solving;
Independent project: Modal logic;
Independent project: Philosophy of mathematics;
Independent project: Programming for the common good;
Independent project: Recursion;
Independent project: Set theory;
Independent project: Software design and implementation;
Independent project: Syntactic theory;
Independent project: The C++ programming language;
Independent study: BASIC;
Independent study: Formal semantics;
Independent study: Remedial logic;
Independent study: Symbolic logic for computer science;
Internship: Computer-aided design;
Internship: Head- and hand-position tracking in virtual environments;
Internship: Information Technology Resource Center;
Internship: Parallel distributed processing and connectionist psychology;
Internship: Porting a window system;
Introduction to BASIC programming;
Introduction to computer science;
Introduction to general linguistics;
Introduction to mathematical logic;
Introduction to philosophy;
Mentored advanced project: Biographical natural language generation;
Mentored advanced project: Compression algorithms and techniques;
Mentored advanced project: Parallel corpus generation;
Philosophical figures and movements: Russell;
Philosophy of language;
Philosophy of mind;
Principles of sound reasoning;
Programming language concepts;
Reading and conference: Modal logic;
Reading and conference: Rhetoric and philosophy;
Reading and conference: Set theory;
Reading and conference: Whitehead;
Seminar: Modal and intensional logic;
Seminar: Philosophy of logic
Seminar: Truth and universals;
Senior research project: A phonological comparison of Chinese and Korean;
Senior research project: Universal grammar;
Senior research project: Using computational analysis to extract linguistic data and categorize texts;
Software design;
Symbolic logic;
Thesis: Independent major;
Thesis research;
Tutorial: Cryptology;
Tutorial: Free software, free culture;
Tutorial: Outward from the middle of the maze: selected plays of Tom Stoppard;
Tutorial: Paradoxes

Primary Academic Interest: 

syntax and semantics of programming languages

Academic Interests: 

formal language theory;
algorithms and data structures;
computational linguistics;
philosophy of language;
mathematical logic;
automata theory;
history of philosophy;
set theory

Curriculum Vitae/Resume: