Joe Halpern's Home Page

JOSEPH Y. HALPERN

Professor

Cornell University
Computer Science Department
4144 Upson Hall
Ithaca, NY 14853
Tel: (607) 255-9562; Fax: (607) 255-4428
halpern at cs dot cornell dot edu

My research focuses on reasoning about knowledge and uncertainty, and its applications to distributed computing, AI, security, and game theory, although I've also done work (and continue to be interested in) such topics as fault tolerance in distributed computing, modal logic, program verification, and programming language semantics. My work lies at the boundary of a number of fields. I recently gave a talk in the economics department at Princeton where I described myself as someone with a Ph.D. in mathematics, who calls himself a computer scientist, and is giving a talk to economists about a subject mainly studied by philosophers. That's probably the best one-sentence description I can give. If you'd like more details, check my

list of publications.

It has pointers to abstracts of all my papers; in many cases, the paper itself is also available. Other details of my activities are in my

resume.

My work is supported by NSF, AFOSR, and ONR. I am also involved in a MURI project called SPYCE on Software Quality and Infrastructure Protection for Diffuse Computing and another called TIME-DC on Trustworthy Infrastructure, Mechanisms, and Experimentation for Diffuse Computing.

In the fall, I typically alternate between teaching

Reasoning About Knowledge (COM S 6764; formerly CS676).
Reasoning About Uncertainty (COM S 6766; formerly CS677).
Decision-Making in Complex Environments (CIS 5846, crosslisted as ECON 4760 and ECON 6760; formerly CS 576 and ECON 476/676) with Professors David Easley and Larry Blume in Economics.

I taught CS 6764 in Fall 2007, CS 6766 in Fall 2005, and CIS 5846 in Fall 2006 and 2008.

In the spring, I usually teach an undergraduate course. Recently I have been teaching CS2800 (formerly CS280), although in earlier years I taught COM S 409 and COM S 410, algorighthms courses that are no longer offered.

In 2009-10, I'll be on sabbatical (so won't be teaching at Cornell).