Joe Halpern is the recipient of the 2011 ACM SIGART Autonomous Agents Research Award. He is being honored for his substantial and enormously influential contributions to the logical foundations of multi-agent systems, in particular, the computational foundations and applications of epistemic logic and reasoning under uncertainty. He will receive the award at the AAMAS-2011 conference in Taiwan, where he will present a plenary talk.