|
|
Currently teaching
CS 353: Seminar on Logic & Formal Philosophy
(Winter)
PHIL 252: Computability and Logic
(Spring)
PHIL 152: Computability and Logic
(Spring)
PHIL 359: Logic Spring Seminar
(Spring)
PHIL 391: Seminar on Logic & Formal Philosophy
(Winter)
OSPKYOTO 77: Animal Cognition
(Autumn)
CS 191: Senior Project
(Autumn, Winter, Spring)
CS 191W: Writing Intensive Senior Research Project
(Autumn, Winter, Spring)
PHIL 450: Thesis
(Autumn, Winter, Spring)
PHIL 197: Individual Work, Undergraduate
(Autumn, Winter, Spring)
PHIL 196: Tutorial, Senior Year
(Autumn, Winter, Spring)
CS 199: Independent Work
(Autumn, Winter, Spring)
CS 390A: Curricular Practical Training
(Autumn, Winter, Spring)
CS 390B: Curricular Practical Training
(Autumn, Winter, Spring)
CS 399: Independent Project
(Autumn, Winter, Spring)
CS 499P: Advanced Reading and Research
(Autumn, Winter, Spring)
CS 499: Advanced Reading and Research
(Autumn, Winter, Spring)
SYMSYS 297: Teaching in Symbolic Systems
(Autumn)
SYMSYS 196: Independent Study
(Autumn, Winter, Spring)
SYMSYS 190: Senior Honors Tutorial
(Autumn, Winter, Spring)
SYMSYS 296: Independent Study
(Autumn, Winter, Spring)
SYMSYS 290: Master's Degree Project
(Autumn, Winter, Spring)
PHIL 240: Individual Work for Graduate Students
(Autumn, Winter, Spring)
MATH 197: Senior Honors Thesis
(Winter, Spring)
|
Manage my profile