dr
Painting by Winslow Homer

Teaching

2014
CMPS17: Social Networks (Winter 2014)
2013
CMPS17: Social Networks (Winter 2013)
CMPS17: Social Networks (Spring 2013)
Stanford Phil 152/252: Computability and Logic (Spring 2013)
2012
CMPS17: Social Networks (Spring 2012)
2008
Model theory for extensions of modal logic (with David Gabelaia, ESSLLI summer school)
2007
Model theory for modal logic (with David Gabelaia, Vienna-Tbilisi Summer School in Logic and Language)
2005
Automated Reasoning (with David Ahn)
2004
Hybrid Logics (with Massimo Franceschet, ESSLLI summer school)
2003
TA Core Logic (with Johan van Benthem)
2002
TA Redeneren en Programmeren (with Maarten Marx)
TA Capita Selecta Semantics and Pragmatics (with Robert van Rooy)
2001
TA Redeneren en Programmeren (with Maarten Marx)
2000
TA Redeneren en Programmeren (with Maarten Marx)
TA Logische technieken in AI (with Mehdi Dastani)

Last modified: Tuesday, 01-Apr-2014 01:15:59 PDT Validate HTML     Validate CSS
Current time: (SFO) / (AMS)