Fall 2026

• Programming for AI 1

  Syllabus (Fall 2026)Course WebsiteCourse Description

• Topics in Bayesian Epistemology

  Syllabus (Fall 2026)Course WebsiteCourse Description

Spring 2027

I'll link to my courses for this semester soon!

Undergraduate

• PHIL 121Programming for AI 1
• PHIL 170Introduction to Logic
• PHIL 171Reasoning for Humans: Clear Thinking in an Uncertain World
• PHIL 271Introduction to Logic
• PHIL 370Logical Theory I: Metatheory
• PHIL 408F/PHPE 408JA Gentle Introduction to Machine Learning
• PHIL 408RTopics in Contemporary Philosophy: Rational Choice
• PHIL 470Incompleteness and Undecidability
• PHIL 478M/668VModal Logic
• PHIL 478PPhilosophical Logic: Reasoning about Knowledge and Beliefs
• PHPE 308M/PHIL 209FFairness
• PHPE 400Individual and Group Decision-Making
• PHPE 408/PHIL 409CComputer Simulations in Philosophy and Economics
• PHPE 408O/PHIL 438VThe Theory of Voting

Graduate

• PHIL 478M/668VModal Logic
• PHIL 808KNew Perspectives on Social Choice
• PHIL 808KTopics in Bayesian Epistemology
• PHIL 808VFoundations of Game Theory
• PHIL 858EEpistemic Game Theory
• PHIL 858KLogical and Probabilistic Models of Belief Change

Carnegie Mellon University

• Logic and Artificial Intelligence

  website

Tilburg University

• Rationality, Masters in Philosophy Program

  website

Stanford University

• Computability and Logic

  website
• Rational Agency and Intelligent Interaction

  website
• First Order Logic

  website
• Model Theory

  website
• Can Machines Know? Can Machines Feel?

Institute for Logic, Language and Computation, University of Amsterdam

• Model Theory

  website
• CAPUT Logic, Language and Information

  website
• Neighborhood Models and Their Applications

  website
• Introduction to Modal Logic

  website
• Recursion Theory

  website

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

New York University

• Introduction to Symbolic Logic

Case Western Reserve University

• Calculus
• College Algebra