|
Currently teaching
PHIL 152: Computability and Logic
(Spring)
PHIL 252: Computability and Logic
(Spring)
PHIL 151: Metalogic
(Winter)
PHIL 251: Metalogic
(Winter)
CS 24: Minds and Machines
(Autumn)
LINGUIST 35: Minds and Machines
(Autumn)
PHIL 99: Minds and Machines
(Autumn)
PSYCH 35: Minds and Machines
(Autumn)
SYMSYS 1: Minds and Machines
(Autumn)
SYMSYS 200: Minds and Machines
(Autumn)
SYMSYS 197: Practicum in Teaching SymSys 1
(Autumn)
PHIL 387: Topics in Philosophy of Action: Decision Theory and Planning Agency
(Spring)
CS 499: Advanced Reading and Research
(Autumn, Winter, Spring, Summer)
CS 499P: Advanced Reading and Research
(Autumn, Winter)
CS 390A: Curricular Practical Training
(Autumn, Winter)
CS 390B: Curricular Practical Training
(Winter)
PHIL 197C: Curricular Practical Training
(Summer)
PHIL 297C: Curricular Practical Training
(Winter)
CS 399: Independent Project
(Winter)
SYMSYS 196: Independent Study
(Autumn)
SYMSYS 296: Independent Study
(Autumn)
CS 199: Independent Work
(Autumn)
PHIL 240: Individual Work for Graduate Students
(Autumn, Winter, Spring, Summer)
PHIL 197: Individual Work, Undergraduate
(Winter, Spring, Summer)
SYMSYS 290: Master's Degree Project
(Autumn, Winter, Spring)
MATH 197: Senior Honors Thesis
(Autumn, Winter)
SYMSYS 190: Senior Honors Tutorial
(Autumn)
CS 191: Senior Project
(Autumn)
SYMSYS 297: Teaching in Symbolic Systems
(Autumn)
PHIL 450: Thesis
(Autumn, Winter, Spring, Summer)
PHIL 196: Tutorial, Senior Year
(Autumn, Winter, Spring)
CS 191W: Writing Intensive Senior Research Project
(Winter)
|