Yoram Moses
Yoram Ofer Moses (* around 1960 ) is an Israeli computer scientist. He is a professor at the Technion in Haifa .
Moses studied at the Hebrew University in Jerusalem with a bachelor's degree in 1981 and received his doctorate in 1985 from Stanford University under Joseph Halpern (Knowledge in distributed environment). He was at the Weizmann Institute and then professor at the Technion.
He deals with knowledge representation especially in distributed systems.
In 1997 he received the Gödel Prize with Halpern (for the formal definition of the term knowledge in distributed systems) and in 2009 both received the Dijkstra Prize .
Fonts
- with Ronald Fagin , Joseph Halpern , Moshe Vardi Reasoning about knowledge , MIT Press
Individual evidence
- ^ Mathematics Genealogy Project
- ^ For Halpern, Moses Knowledge and Common Knowledge in a Distributed Environment , Journal of the ACM, Volume 37, 1990, p. 549
personal data | |
---|---|
SURNAME | Moses, Yoram |
ALTERNATIVE NAMES | Moses, Yoram Ofer (full name) |
BRIEF DESCRIPTION | Israeli computer scientist |
DATE OF BIRTH | around 1960 |