[Upcoming Courses | Course Notes | Guest Lectures | Previous Courses | Short Courses]
Upcoming Courses (2009-2010)
Due to my VIDI grant, I do not have any regular teaching duties this year. I will teach short courses at upcoming summer schools.
Logic, Interaction and Collective Agency
one week course at the European Summer School for Logic, Language and Information in Copenhagen, Denmark
Course Notes
I have produced notes for various courses that I have taught (usually for ESSLLI):
- Introduction to Neighborhood Semantics, prepared for a course at ESSLLI 2007
- Introduction to Formal Epistemology (with Rohit Parikh), prepared for a course at ESSLLI 2007
Guest Lectures
The following is a list of guest lectures I have given at various courses at Stanford and the ILLC.- An Invitation to Modal Logic (6 lectures introduction modal logic for Philosophy 150, Fall 2007).
- Cake Cutting Algorithms: Lecture for Cooperative Game Theory Course, University of Amsterdam (2007)
- Logic in Games: Lecture for Core Logic, University of Amsterdam (2006)
- Introduction to Social Software: Lecture for Core Logic, University of Amsterdam (2005)
Previous Courses
2007 - 2009: Stanford University
- Spring 2009: PHIL 152 Computability and Logic (
Course Webpage) - Spring 2009:PHIL 358/CS 222 Rational Agency and Intelligent Interaction (
Course Webpage ) - Winter 2009: PHIL 151 First Order Logic (
Course Webpage) - Fall 2008: PHIL 350A Model Theory (
Course Webpage) - Spring, 2008: CS21N Can Machines Know? Can Machines Feel? (Co-taught with Yoav Shoham)
(
Course Syllabus)
2005 - 2007: Institute for Logic, Language and Computation, University of Amsterdam
- Model Theory (
Course Webpage) - Caput Logic, Language and Information: Social Software (
Course Webpage) - Neighborhood Models and Their Applications (
Course Webpage) - Introduction to Modal Logic (
Course Webpage) - Recursion Theory (
Course Webpage)
2000-2005: Brooklyn College
- Introduction to Theoretical Computer Science
- Analysis of Algorithms
- Discrete Mathematics
- Advanced C Programming
- Unix Shell Programming (Korn Shell)
- Introduction to C Programming
- Multimedia Programming
- Introduction to Computer Science
2003: New York University
- Introduction to Symbolic Logic
- Advanced Logic (Teaching Assistant)
1998 - 2000: Case Western Reserve University
- Calculus
- College Algebra
Short Courses
I have taught a number of short (5 day) courses at the European Summer School for Logic, Language and Information. The webpage for each course can be found below:- ESSLLI 2009, Bordeaux: Logics of Rational Agency
- ESSLLI 2009, Bordeaux: Reasoning with Probabilities (with Joshua Sack)
- ESSLLI 2008, Hamburg: Reasoning, games, action and rationality (with Olivier Roy)
- ESSLLI 2007, Dublin: Neighborhood Semantics for Modal Logic
- ESSLLI 2007, Dublin: Formal Epistemology (with Rohit Parikh)