Reasoning about knowledge and uncertainty, qualitative reasoning, belief revision, (fault-tolerant) distributed computation, modal logic, causality, game theory, decision theory, and security.
Last updated, August, 2012 - Joe Halpern
