Yoram Mooses | |
---|---|
heprealainen יוֹרָם מוֹזֶס | |
Syntymäaika | 3. tammikuuta 1957 (65-vuotiaana) |
Syntymäpaikka | Afula |
Maa | |
Tieteellinen ala | matematiikka |
Työpaikka | |
Alma mater |
Jerusalemin heprealainen yliopisto Stanfordin yliopisto |
tieteellinen neuvonantaja | Joseph Halpern |
Palkinnot ja palkinnot | Dijkstra-palkinto ( 2009 ) Gödel-palkinto ( 1997 ) |
Verkkosivusto | moses.eew.technion.ac.il |
Yoram Moses ( hepr. יוֹרָם מוֹזֶס , syntynyt 3. tammikuuta 1957) on israelilainen tiedemies, hajautettujen järjestelmien asiantuntija, kansainvälisten palkintojen voittaja.
Yoram Moses syntyi vuonna 1957 Afulassa . Vuonna 1981 hän valmistui Jerusalemin heprealaisesta yliopistosta kandidaatin tutkinnolla matematiikassa, vuonna 1986 Joseph Halpernin hän puolusti väitöskirjaansa Stanfordin yliopistossa ( USA ) ja väitteli tietojenkäsittelytieteen tohtoriksi. Vuodesta 1988 hän on opettanut Technionissa .
Kansainvälinen maine Yoram Moses toi muodollisen määritelmän "tiedon" käsitteelle hajautetuissa ympäristöissä. Vuonna 2003 hän kirjoitti Reasoning About Knowledge -teoksen Joseph Halpernin, Ronald Faginin Moshe Vardyn kanssa.
Gödel-palkinnon voittajat | |
---|---|
1990 |
|
2000 |
|
2010 |
|
Temaattiset sivustot | ||||
---|---|---|---|---|
|