|
Currently teaching
SYMSYS 1: Minds and Machines
(Autumn)
CS 24: Minds and Machines (Autumn) SYMSYS 200: Minds and Machines (Autumn) LINGUIST 35: Minds and Machines (Autumn) PHIL 99: Minds and Machines (Autumn) PSYCH 35: Minds and Machines (Autumn) PHIL 49: Survey of Formal Methods (Spring) |