Vardy, Moshe

Moshe Vardi
Fødselsdato 4. juli 1954( 1954-07-04 ) (68 år)
Fødselssted
Land
Arbejdsplads
Alma Mater
videnskabelig rådgiver Catriel Beeri [d] [2]
Priser og præmier Guggenheim Fellowship Gödel-prisen ( 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 fra American Mathematical Society medlem af American Association for the Advancement of Science [d] æresdoktor ved Saarlands Universitet [d] ( 2002 ) medlem af Society for Industrial and Applied Mathematics [d] ( 2015 )
Internet side cs.rice.edu/~vardi/
 Mediefiler på Wikimedia Commons

Moshe Yaakov Vardy ( heb. משה יעקב ורדי ‏‎; født 4. juli 1954 ) er en israelsk matematiker og datalog, professor emeritus i datalogi ved Rice University [3] [4] , direktør for Ken Kennedy Institute for Information Technology .

Uddannelse og videnskabelig aktivitet

Han modtog sin ph.d.-grad fra det hebraiske universitet i Jerusalem i 1981 . Han var formand for datalogiafdelingen ved Rice University fra januar 1994 til juni 2002. Før han kom til Rice i 1993, arbejdede han på IBM's Almaden Research Center , hvor han ledede Matematics and Allied Computer Science-afdelingen.

Videnskabelige interesser

Interesser er fokuseret på anvendelsen af ​​logik i datalogi, herunder databaseteori, finite model-teori, viden i multi-agent-systemer , computerverifikation og ræsonnement og læseplanslogik. Han er ekspert i modelkontrol , begrænsningstilfredshed og databaseteori, almindelig viden (logik) og teoretisk datalogi [5] [6] .

Videnskabelige publikationer

Forfatter til mere end 400 publikationer [7] [8] [9] , redaktør af flere videnskabelige samlinger.

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

I 2012 var han chefredaktør for Communications of the ACM [12] .

Priser og præstationer

Vinder af tre IBM Outstanding Innovation Awards, 2000 Gödel-prisen for arbejde med tidsmæssig logik med finite automata ), 2005 Kanellakis-prisen og 2006 LICS-prisen.

I 2008 modtog han ACMs præsidentpris og blev tildelt Blaise Pascal-medaljen i beregningsvidenskab [13] af European Academy of Sciences [14] .

I 2010 modtog han Distinguished Service Awards fra Computer Research Association ; i 2011, IEEE Computer Society Goode Award .

Æresdoktorgrader fra University of Saarland og University of Orléans .

Redaktør af flere blade. Præsident for International Federation of Computational Logic. Guggenheim Fellow , Fellow i Association for Computing Machinery , American Association for the Advancement of Science og American Association for Artificial Intelligence .

Inkluderet på listen over højt citerede videnskabsmænd fra Institute for Scientific Information . Medlem af American National Academy of Engineering , US National Academy of Sciences [15] og European Academy (Academia Europaea). I 2010 blev han valgt til medlem af American Academy of Arts and Sciences [16] . Medformand for ACM Working Group on Labor Migration.

Noter

  1. ↑ Freebase data download - Google .
  2. ↑ Matematisk genealogi  (engelsk) - 1997.
  3. ↑ www.cs.rice.edu/~vardi . Hentet: 20. juni 2012.
  4. ↑ BOYD, JADE Rice's Moshe Vardi hædret som Distinguished Service Professor . Rice University (22. juli 2011). — "Rice Universitys datalog Moshe Vardi er blevet udnævnt til Distinguished Service Professor, en af ​​universitetets mest prestigefyldte fakultetsudnævnelser." Hentet 10. april 2012. Arkiveret fra originalen 10. april 2012.
  5. ↑ Moshe Y. Vardi - ACM forfatterprofilside . Hentet 13. februar 2019. Arkiveret fra originalen 23. marts 2019.
  6. ↑ Marianne Winslet. Moshe Vardi udtaler sig om beviset, hele beviset og intet andet end beviset  // SIGMOD Record  : journal  . - 2006. - Bd. 35 . — S. 56 . - doi : 10.1145/1121995.1122008 .
  7. ↑ dblp: Moshe Y Vardi
  8. ↑ Moshe Y. Vardi - Google Scholar Citations . Hentet 12. februar 2019. Arkiveret fra originalen 14. april 2021.
  9. ↑ Moshe Y. Vardi - Publikationer og præsentationer
  10. ↑ Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses. Ræsonnement om viden  (ubestemt) . - 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. Finite model teori og dens anvendelser  (neopr.) . - Berlin: Springer, 2007. - ISBN 3-540-00428-9 .
  12. ↑ Moshe Y. Vardi. Kunstig intelligens: Fortid og fremtid  (engelsk)  // Communications of the ACM  : journal. - 2012. - Bd. 55 . — S. 5 . - doi : 10.1145/2063176.2063177 .
  13. ↑ BLAISE PASCAL MEDALJE 2008 (afsnit: "Blaise Pascal Medal in Computational Science") (link ikke tilgængeligt) . Det Europæiske Videnskabsakademi . — «Professor Moshe Y. VARDI, USA / Som en anerkendelse af hans fremragende bidrag inden for flere områder af beregningsvidenskab, forbundet med deres brug af logik som en underliggende metode. Hans arbejde har haft en grundlæggende og varig indvirkning på automatisk verifikation, videnslogik, databaseteori og finite-model teori." Hentet 27. april 2017. Arkiveret fra originalen 4. marts 2017. 
  14. ↑ Dommer automatisering arbejdere? . George R. Brown School of Engineering ved Rice University (31. oktober 2016). - "2008 Blaise Pascal Medal for Computer Science af European Academy of Sciences". Hentet 27. april 2017. Arkiveret fra originalen 27. april 2017.
  15. ↑ National Academy of Sciences valg, meddelelser fra American Mathematical Society bind 62 (7): 826, august 2015 
  16. ↑ Rice's Moshe Y. Vardi valgt til fellow fra American Academy of Arts and Sciences Arkiveret 3. februar 2019 på Wayback Machine .

Links

 Vindere af Kanellakis-prisen
  Gå til Wikidata-elementet  I sociale netværk
Tematiske steder