Joe Halpern was awarded the 2009 Edsger W. Dijkstra Prize in Distributed Computing for his paper "Knowledge and Common Knowledge in a Distributed Environment."