Moses, Yoram
| 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.
Biografi
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 .
Priser
- 1990 - Bergman Memorial Prize ( International Science Foundation of the United States and Israel ) med professor Yov Shoham for undersøgelsen Knowledge Representation for Intelligent Agents
- 1990-1992 - Alon Scholarship Program
- 1997 Gödel-prisen for teoretisk datalogi
- 1999 - Henry Taub-prisen for forskning
- siden 1999 - medlem af International Society for Game Theory
- 2008 - Prisen "Bedste videnskabelige papir" ved den 9. internationale konference om distribuerede computer- og computernetværk (ICDCN-2008, Kolkata , Indien )
- 2009 - Best Student Paper Award (samforfattet med Danny Dolev og Ezra N. Hoch) ved det 11. internationale symposium om stabilitet, pålidelighed og sikkerhed i distribuerede systemer (SSS-2009, Lyon , Frankrig ) [1]
- 2009 - Dijkstra-prisen for distribueret databehandling
Noter
- ↑ Officiel side for det 11. internationale symposium om stabilitet, pålidelighed og sikkerhed i distribuerede systemer . Hentet 29. maj 2018. Arkiveret fra originalen 8. december 2019.
Links
| vindere af Gödel-prisen | |
|---|---|
| 1990 |
|
| 2000 | |
| 2010 |
|
 Tematiske steder | ||||
|---|---|---|---|---|
| ||||