Yoram Moses received a B.Sc. 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.
He is married to the computer scientist Yael Moses.