Vardy, Moshe

Moshe Vardy
Födelsedatum 4 juli 1954( 1954-07-04 ) (68 år)
Födelseort
Land
Arbetsplats
Alma mater
vetenskaplig rådgivare Catriel Beeri [d] [2]
Utmärkelser och priser Guggenheim Fellowship Gödelpriset ( 2000 ) Paris Kanellakis Award ( 2005 ) European Association for Theoretical Computer Science Prize [d] ( 2012 ) Harry Hood Memorial Award ( 2011 ) SIGMOD Edgar F. Codd Innovations Award [d] ( 2008 ) AAAI-medlem [d] Hej ACM Fellow i American Mathematical Society medlem av American Association for the Advancement of Science [d] hedersdoktor vid Saarlands universitet [d] ( 2002 ) medlem av Society for Industrial and Applied Mathematics [d] ( 2015 )
Hemsida cs.rice.edu/~vardi/
 Mediafiler på Wikimedia Commons

Moshe Yaakov Vardy ( heb. משה יעקב ורדי ‏‎; född 4 juli 1954 ) är en israelisk matematiker och datavetare, professor emeritus i datavetenskap vid Rice University [3] [4] , chef för Ken Kennedy Institute for Information Technology .

Utbildning och vetenskaplig verksamhet

Han tog sin doktorsexamen från Hebrew University of Jerusalem 1981 . Han var ordförande för datavetenskapsavdelningen vid Rice University från januari 1994 till juni 2002. Innan han började på Rice 1993 arbetade han på IBM:s Almaden Research Center , där han ledde avdelningen för matematik och allierade datavetenskap.

Vetenskapliga intressen

Intressen är fokuserade på tillämpningen av logik inom datavetenskap, inklusive databasteori, finita modellteori, kunskap i multi-agent system , datorverifiering och resonemang och läroplanslogik. Han är expert på modellkontroll , begränsningstillfredsställelse och databasteori, allmän kunskap (logik) och teoretisk datavetenskap [5] [6] .

Vetenskapliga publikationer

Författare till mer än 400 publikationer [7] [8] [9] , redaktör för flera vetenskapliga samlingar.

Författare till Reasoning About Knowledge [10] (med Ronald Fagin , Joseph Halpern och Yoram Moses ), Finite Model Theory and Its Applications [11] (med Erich Gradel, Fokion Kolaitis, Leonid Libkin, Marten Marx, Joel Spencer , Go Wen och Scott Weinstein).

2012 var han chefredaktör för Communications of the ACM [12] .

Utmärkelser och prestationer

Vinnare av tre IBM Outstanding Innovation Awards, 2000 års Gödel-pris för arbete med tidslogik med finita automater ), 2005 års Kanellakis-pris och 2006 års LICS-pris.

2008 mottog han ACMs presidentpris och tilldelades Blaise Pascal-medaljen i beräkningsvetenskap [13] av European Academy of Sciences [14] .

2010 fick han Distinguished Service Awards från Computer Research Association ; 2011, IEEE Computer Society Goode Award .

Hedersdoktorer från universitetet i Saarland och universitetet i Orléans .

Redaktör för flera tidningar. Ordförande för International Federation of Computational Logic. Guggenheim Fellow , Fellow i Association for Computing Machinery , American Association for the Advancement of Science och American Association for Artificiell Intelligens .

Ingår i listan över mycket citerade forskare vid Institutet för vetenskaplig information . Medlem av American National Academy of Engineering , US National Academy of Sciences [15] , European Academy (Academia Europaea). 2010 valdes han till medlem av American Academy of Arts and Sciences [16] . Medordförande i ACMs arbetsgrupp för arbetskraftsmigrering.

Anteckningar

  1. ↑ Freebase-datanedladdning - Google .
  2. ↑ Mathematical Genealogy  (engelska) - 1997.
  3. ↑ www.cs.rice.edu/~vardi . Hämtad: 20 juni 2012.
  4. ↑ BOYD, JADE Rice's Moshe Vardi hedrad som Distinguished Service Professor . Rice University (22 juli 2011). — "Rice Universitys datavetare Moshe Vardi har utsetts till Distinguished Service Professor, en av universitetets mest prestigefyllda fakultetsutnämningar." Hämtad 10 april 2012. Arkiverad från originalet 10 april 2012.
  5. ↑ Moshe Y. Vardi - ACM-författarprofilsidan . Hämtad 13 februari 2019. Arkiverad från originalet 23 mars 2019.
  6. ↑ Marianne Winslet. Moshe Vardi uttalar sig om beviset, hela beviset och inget annat än beviset  // SIGMOD Record  : journal  . - 2006. - Vol. 35 . — S. 56 . - doi : 10.1145/1121995.1122008 .
  7. ↑ dblp: Moshe Y Vardi
  8. ↑ Moshe Y. Vardi - Google Scholar Citations . Hämtad 12 februari 2019. Arkiverad från originalet 14 april 2021.
  9. ↑ Moshe Y. Vardi - Publikationer och presentationer
  10. ↑ Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses. Resonemang om kunskap  (obestämd) . - 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. Finita modellteori och dess tillämpningar  (neopr.) . - Berlin: Springer, 2007. - ISBN 3-540-00428-9 .
  12. ↑ Moshe Y. Vardi. Artificiell intelligens: Tidigare och framtid  (engelska)  // Communications of the ACM  : journal. - 2012. - Vol. 55 . — S. 5 . - doi : 10.1145/2063176.2063177 .
  13. ↑ BLAISE PASCAL-MEDALEN 2008 (dela upp: "Blaise Pascal-medaljen i beräkningsvetenskap") (länk inte tillgänglig) . Europeiska vetenskapsakademin . — «Professor Moshe Y. VARDI, USA / Som ett erkännande för hans enastående bidrag inom flera områden av beräkningsvetenskap kopplade till deras användning av logik som en underliggande metodik. Hans arbete har haft en grundläggande och bestående inverkan på automatisk verifiering, kunskapslogik, databasteori och finita modellteori.” Hämtad 27 april 2017. Arkiverad från originalet 4 mars 2017. 
  14. ↑ Gör automation undergångsarbetare? . George R. Brown School of Engineering vid Rice University (31 oktober 2016). - "2008 års Blaise Pascal-medalje för datavetenskap av European Academy of Sciences". Hämtad 27 april 2017. Arkiverad från originalet 27 april 2017.
  15. ↑ National Academy of Sciences Elections, Notices of the American Mathematical Society vol 62 (7): 826, augusti 2015 
  16. ↑ Rice's Moshe Y. Vardi vald fellow vid American Academy of Arts and Sciences Arkiverad 3 februari 2019 på Wayback Machine .

Länkar

 Vinnare av Kanellakis-priset
  Gå till Wikidata-objektet  I sociala nätverk
Tematiska platser