Yoram Moses | |
---|---|
hebraisk יוֹרָם מוֹזֶס | |
Fødselsdato | 3. januar 1957 (65 år) |
Fødselssted | Afula |
Land | |
Videnskabelig sfære | matematik |
Arbejdsplads | |
Alma Mater |
Hebrew University of Jerusalem Stanford University |
videnskabelig rådgiver | Joseph Halpern |
Priser og præmier | Dijkstra-prisen ( 2009 ) Gödel-prisen ( 1997 ) |
Internet side | moses.eew.technion.ac.il |
Yoram Moses ( heb. יוֹרָם מוֹזֶס , født 3. januar 1957) er en israelsk videnskabsmand, specialist inden for distribuerede systemer, vinder af internationale priser.
Yoram Moses blev født i 1957 i Afula . I 1981 dimitterede han fra det hebraiske universitet i Jerusalem med en bachelorgrad i matematik, i 1986 under vejledning af Joseph Halpern forsvarede han sin afhandling ved Stanford University ( USA ) og modtog en ph.d.-grad i datalogi. Siden 1988 har han undervist på Technion .
International berømmelse Yoram Moses bragte en formel definition af begrebet "viden" i distribuerede miljøer. I 2003 skrev han Reasoning About Knowledge sammen med Joseph Halpern, Ronald Fagin Moshe Vardy .
af Gödel-prisen | vindere|
---|---|
1990 |
|
2000 | |
2010 |
|
![]() | ||||
---|---|---|---|---|
|