Yoram Moses

Yoram Ofer Moses (c. 1960) is an Israeli computer scientist. He is a professor at the Technion in Haifa.

Moses graduated from the Hebrew University in Jerusalem with a bachelor's degree in 1981 and in 1985 received his doctorate from Stanford University with Joseph Halpern ( Knowledge in distributed environment). He was at the Weizmann Institute and then a professor at the Technion.

He is concerned with knowledge representation, especially in distributed systems.

In 1997 he was awarded the Gödel Prize with Halpern ( for the formal definition of the concept of knowledge in distributed systems ) and 2009 both received the Dijkstra Prize.

Writings

  • Ronald Fagin, Joseph Halpern, Moshe Vardi Reasoning about knowledge, MIT Press
Technion – Israel Institute of Technology Weizmann Institute of Science Moshe Y. Vardi
833235
de