Publications

See here for links to some papers.

Teaching

In Spring 2014, I will be teaching "Logic and Artificial Intelligence" at Carnegie Mellon.

Then I will be co-teaching "Logic and Probability" with Wesley Holliday at ESSLLI 2014.

Organizational

Make sure not to miss NASSLLI 2014, at the University of Maryland, College Park!

Contact

I can be reached at surname[♠]cmu.edu by replacing surname with my surname and [♠] with @.

Arcade