Scienceיורם מוזס
Yoram Moses
Yoram Moses is an Israeli computer scientist and professor of electrical engineering at the Technion, known for his work on distributed computing and reasoning about knowledge.
born 1957Research in distributed computingCo-authoring Reasoning About KnowledgeThe 1997 Gödel PrizeThe 2009 Dijkstra Prize
- Born
- 3 January 1957, Afula
- Occupation
- engineer, computer scientist
- Education
- Stanford University, Hebrew University of Jerusalem
Yoram Moses was born in 1957 in Afula
Yoram Moses was born in Afula on January 3, 1957, and grew up in Beersheba. His father is the pediatrician Professor Shimon Moses.
He earned a B.Sc. in mathematics from the Hebrew University of Jerusalem in 1981. He then went on a direct track to a Ph.D. in computer science at Stanford University, which he completed in 1986 under Professor Joe Halpern.
Since 1998 he has taught at the Technion, where he is a professor of electrical engineering. His research focuses on distributed systems and reasoning about knowledge. With Halpern, he won the 1997 Gödel Prize and the 2009 Dijkstra Prize for a 1984 paper on knowledge and common knowledge in a distributed environment.
In 2003 MIT Press published the book Reasoning About Knowledge, which he wrote with Joe Halpern, Ronald Fagin and Moshe Vardi. Over the years he has supervised 17 graduate students. He is married to computer scientist Yael Moses and lives in Tel Aviv.
Milestones in Yoram Moses's life
- 1957
Born in Afula.
- 1981
Earned a B.Sc. in mathematics from the Hebrew University of Jerusalem.
- 1984
Presented a paper with Joe Halpern on knowledge in distributed environments.
- 1986
Completed a Ph.D. in computer science at Stanford University.
- 1997
Won the Gödel Prize with Joe Halpern.
- 1998
Began teaching at the Technion.
- 2003
Published the book Reasoning About Knowledge with MIT Press.
- 2009
Won the Dijkstra Prize in Distributed Computing.
Yoram Moses received 2 awards and honours
- Dijkstra Prize
- Gödel Prize
More people from the same world
Yoram Tsafrir1938 to 2015Excavations at Beit She'anScience
Ran Razborn 1966Interactive proof systemsScienceNir Shavitborn 1959Software transactional memoryScience
Yoav Freundborn 1961The AdaBoost algorithmScienceMicha Sharirborn 1950Computational geometry researchScience
Amir Pnueli1941 to 2009Temporal logic in computer scienceScience
Look up anyone else by name
Based on English Wikipedia, Yoram Moses and Hebrew Wikipedia, יורם מוזס, under CC BY-SA 4.0. The facts are Wikidata's.
Is this page about you or a family member? Ask for it to be taken off.