Vardy, Moshe

Moshe Vardi
Syntymäaika 4. heinäkuuta 1954( 04-07-1954 ) (68-vuotiaana)
Syntymäpaikka
Maa
Työpaikka
Alma mater
tieteellinen neuvonantaja Catriel Beeri [d] [2]
Palkinnot ja palkinnot Guggenheim-apuraha Gödel-palkinto ( 2000 ) Paris Kanellakis -palkinto ( 2005 ) Euroopan tietojenkäsittelyteorian yhdistyksen palkinto [d] ( 2012 ) Harry Hood Memorial Award ( 2011 ) SIGMOD Edgar F. Codd Innovations Award [d] ( 2008 ) AAAI:n jäsen [d] Hyvä ACM American Mathematical Societyn jäsen American Association for the Advanced of Sciencen jäsen [d] Saarland Universityn kunniatohtori [d] ( 2002 ) teollisen ja soveltavan matematiikan yhdistyksen jäsen [d] ( 2015 )
Verkkosivusto cs.rice.edu/~vardi/
 Mediatiedostot Wikimedia Commonsissa

Moshe Yaakov Vardy ( hebr . משה יעקב ורדי ‎; syntynyt 4. heinäkuuta 1954 ) on israelilainen matemaatikko ja tietojenkäsittelytieteilijä, tietojenkäsittelytieteen emeritusprofessori Ricen yliopistossa [3] [4] , Kennedy Instituten tietotekniikan johtaja .

Koulutus ja tieteellinen toiminta

Hän väitteli tohtoriksi Jerusalemin heprealaisesta yliopistosta vuonna 1981 . Hän toimi Ricen yliopiston tietojenkäsittelytieteen laitoksen puheenjohtajana tammikuusta 1994 kesäkuuhun 2002. Ennen siirtymistään Ricelle vuonna 1993 hän työskenteli IBM:n Almaden Research Centerissä , jossa hän johti matematiikan ja liittoutuneiden tietojenkäsittelytieteen osastoa.

Tieteelliset kiinnostuksen kohteet

Kiinnostuksen kohteet ovat logiikan soveltaminen tietojenkäsittelytieteessä, mukaan lukien tietokantoteoria, äärellisen mallin teoria, tieto moniagenttijärjestelmistä , tietokonetodentaminen ja päättely sekä opetussuunnitelmalogiikka. Hän on mallintarkistuksen , rajoitteiden tyytyväisyyden ja tietokantateorian, yleisen tiedon (logiikan) ja teoreettisen tietojenkäsittelytieteen asiantuntija [5] [6] .

Tieteelliset julkaisut

Yli 400 julkaisun [7] [8] [9] kirjoittaja, useiden tieteellisten kokoelmien toimittaja.

Teoksen Reasoning About Knowledge [10] (yhdessä Ronald Faginin , Joseph Halpernin ja Yoram Mosesin kanssa), Finite Model Theory and It Applications [11] (yhdessä Erich Gradelin, Fokion Kolaitisin, Leonid Libkinin, Marten Marxin ja Joelin kanssa Spencer , Go Wen ja Scott Weinstein).

Vuonna 2012 hän oli ACM:n viestinnän päätoimittaja [12] .

Palkinnot ja saavutukset

Voittaja kolmella IBM Outstanding Innovation Awards -palkinnolla, vuoden 2000 Gödel-palkinnolla työstä ajallisen logiikan parissa äärellisillä automaateilla , vuoden 2005 Kanellakis-palkinnon ja vuoden 2006 LICS-palkinnon voittaja.

Vuonna 2008 hän sai ACM Presidential Prize -palkinnon ja Euroopan tiedeakatemia myönsi hänelle Blaise Pascal -mitalin laskennallisessa tieteessä [13] [14] .

Vuonna 2010 hän sai Distinguished Service Awards -palkinnon Computer Research Associationilta ; vuonna 2011 IEEE Computer Society Goode Award .

Saarlandin ja Orléansin yliopiston kunniatohtorit .

Useiden lehtien toimittaja. Kansainvälisen laskennallisen logiikan liiton puheenjohtaja. Guggenheim Fellow , Association for Computing Machinery , American Association for the Advancement of Science ja American Association for Artificial Intelligence jäsen .

Sisältyy Tieteellisen tiedon instituutin paljon siteerattujen tutkijoiden luetteloon . American National Academy of Engineering -akatemian , Yhdysvaltain kansallisen tiedeakatemian [15] ja Euroopan Akatemian (Academia Europaea) jäsen. Vuonna 2010 hänet valittiin American Academy of Arts and Sciences -akatemian jäseneksi [16] . Työvoiman siirtolaisuutta käsittelevän ACM - työryhmän toinen puheenjohtaja.

Muistiinpanot

  1. ↑ Freebase-tietojen lataus - Google .
  2. ↑ Matemaattinen sukututkimus  (englanniksi) - 1997.
  3. ↑ www.cs.rice.edu/~vardi . Haettu: 20.6.2012.
  4. ↑ BOYD, JADE Ricen Moshe Vardi palkittiin Distinguished Service Professorina . Rice University (22. heinäkuuta 2011). — "Riisiyliopiston tietojenkäsittelytieteilijä Moshe Vardi on nimetty Distinguished Service Professoriksi, joka on yksi yliopiston arvostetuimmista tiedekunnan nimityksistä." Haettu 10. huhtikuuta 2012. Arkistoitu alkuperäisestä 10. huhtikuuta 2012.
  5. ↑ Moshe Y. Vardi - ACM tekijän profiilisivu . Haettu 13. helmikuuta 2019. Arkistoitu alkuperäisestä 23. maaliskuuta 2019.
  6. ↑ Marianne Winslet. Moshe Vardi puhuu todistuksesta, koko todisteesta ja vain todisteesta  // SIGMOD Record  : päiväkirja  . - 2006. - Voi. 35 . - s. 56 . - doi : 10.1145/1121995.1122008 .
  7. ↑ dblp: Moshe Y Vardi
  8. ↑ Moshe Y. Vardi - Google Scholar Citations . Haettu 12. helmikuuta 2019. Arkistoitu alkuperäisestä 14. huhtikuuta 2021.
  9. ↑ Moshe Y. Vardi - Julkaisut ja esitykset
  10. ↑ Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Mooses. Tiedon perustelut  (rajoittamaton) . - Cambridge, Massachusetts: The MIT Press , 2003. - ISBN 0-262-56200-6 .
  11. ↑ Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde. Äärillisen mallin teoria ja sen sovellukset  (uuspr.) . - Berliini: Springer, 2007. - ISBN 3-540-00428-9 .
  12. ↑ Moshe Y. Vardi. Tekoäly: Menneisyys ja tulevaisuus  (englanniksi)  // Communications of the ACM  : Journal. - 2012. - Vol. 55 . — s. 5 . - doi : 10.1145/2063176.2063177 .
  13. ↑ THE BLAISE PASCAL MEDAL 2008 (osio: "Blaise Pascal Medal in Computational Science") (linkki ei saatavilla) . Euroopan tiedeakatemia . — «Professori Moshe Y. VARDI, USA / Tunnustuksena hänen erinomaisesta panoksestaan ​​useilla laskennallisen tieteen aloilla, joita yhdistää logiikan käyttö taustalla olevana metodologiana. Hänen työllään on ollut perustavanlaatuinen ja pysyvä vaikutus automaattiseen verifiointiin, tiedon logiikkaan, tietokantateoriaan ja äärellisen mallin teoriaan." Haettu 27. huhtikuuta 2017. Arkistoitu alkuperäisestä 4. maaliskuuta 2017. 
  14. ↑ Tuhoaako automaatio työntekijät? . George R. Brownin tekniikan korkeakoulu Ricen yliopistossa (31. lokakuuta 2016). - "Euroopan tiedeakatemian vuoden 2008 tietojenkäsittelytieteen Blaise Pascal -mitali". Haettu 27. huhtikuuta 2017. Arkistoitu alkuperäisestä 27. huhtikuuta 2017.
  15. ↑ National Academy of Sciences Elections, Notices of the American Mathematical Society, osa 62 (7): 826, elokuu 2015 
  16. ↑ Rice's Moshe Y. Vardi valittiin American Academy of Arts and Sciences -akatemian jäseneksi Arkistoitu 3. helmikuuta 2019 Wayback Machinessa .

Linkit

 Kanellakis-palkinnon voittajat
  Siirry Wikidata-kohteeseen  Sosiaalisissa verkostoissa
Temaattiset sivustot