Welcome

Research

Papers

Books

Reviews

Talks

Teaching

Students

Teaching

Courses

Here are some of the courses I have taught recently at Carnegie Mellon: Here are some of the courses I have taught in the past.

Here are some notes on classical and constructive logic: pdf.

Meetings and Workshops

These are some of the meetings and workshops I have organized or co-organized.

Seminars

These are some of the seminars I have taught.

Other

With Teddy Seidenfeld, I founded the Carnegie Mellon Summer School in Logic and Formal Epistemology, and I served as co-director from 2006-2010.

I used to maintain a web page listing resources for using formal methods in education.

When I was in graduate school, I taught a summer course for high school students called An intuitive approach to higher mathematics, with the Academic Talent Development Program.