Moses, Yoram
| Yoram Moses | |
|---|---|
| hebreiska יוֹרָם מוֹזֶס | |
| Födelsedatum | 3 januari 1957 (65 år) |
| Födelseort | Afula |
| Land | |
| Vetenskaplig sfär | matte |
| Arbetsplats | |
| Alma mater |
Hebreiska universitetet i Jerusalem Stanford University |
| vetenskaplig rådgivare | Joseph Halpern |
| Utmärkelser och priser | Dijkstra-priset ( 2009 ) Gödelpriset ( 1997 ) |
| Hemsida | moses.eew.technion.ac.il |
Yoram Moses ( heb. יוֹרָם מוֹזֶס , född 3 januari 1957) är en israelisk vetenskapsman, specialist inom området distribuerade system, vinnare av internationella utmärkelser.
Biografi
Yoram Moses föddes 1957 i Afula . 1981 tog han examen från Hebrew University of Jerusalem med en kandidatexamen i matematik, 1986 under ledning av Joseph Halpern disputerade han vid Stanford University ( USA ) och fick en doktorsexamen i datavetenskap. Sedan 1988 har han undervisat på Technion .
Internationell berömmelse Yoram Moses kom med en formell definition av begreppet "kunskap" i distribuerade miljöer. 2003 skrev han Reasoning About Knowledge tillsammans med Joseph Halpern, Ronald Fagin Moshe Vardy .
Utmärkelser
- 1990 - Bergman Memorial Prize ( International Science Foundation of the United States and Israel ) med professor Yov Shoham för studien Knowledge Representation for Intelligent Agents
- 1990-1992 - Alons stipendieprogram
- 1997 Gödelpriset för teoretisk datavetenskap
- 1999 - Henry Taub-priset för prestation inom forskning
- sedan 1999 - medlem av International Society for Game Theory
- 2008 - Priset "Bästa vetenskapliga dokument" vid den nionde internationella konferensen om distribuerade datorer och datornätverk (ICDCN-2008, Kolkata , Indien )
- 2009 - Best Student Paper Award (samförfattare med Danny Dolev och Ezra N. Hoch) vid det 11:e internationella symposiet om stabilitet, tillförlitlighet och säkerhet i distribuerade system (SSS-2009, Lyon , Frankrike ) [1]
- 2009 - Dijkstra-priset för distribuerad datoranvändning
Anteckningar
- ↑ Officiell sida för det 11:e internationella symposiet om stabilitet, tillförlitlighet och säkerhet i distribuerade system . Hämtad 29 maj 2018. Arkiverad från originalet 8 december 2019.
Länkar
| Gödelpristagare _ | |
|---|---|
| 1990 |
|
| 2000 | |
| 2010 |
|
 Tematiska platser | ||||
|---|---|---|---|---|
| ||||