Home » User account » reseda » reseda

John David Stone

Senior Lecturer


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; Algorithms and data structures; Algorithms and software design; Analysis of algorithms; Artificial intelligence; Automata, formal languages, and computational complexity; Compilers; 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; Empiricism; 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; Metaphysics; 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; ontology; history of philosophy; set theory

Curriculum Vitae/Resume: