 in mathematics from the Hebrew University of Jerusalem in 1981, and a Ph.D. in Computer Science from Stanford University in 1986.Moses is a co-author of the book "Reasoning About Knowledge", and is a winner of the 1997 Gödel Prize in theoretical computer science and the 2009 Dijkstra Prize in Distributed Computing.His major research interests are distributed systems and reasoning about knowledge.