Vardy, Moshe

Moše Vardy
Datum narození 4. července 1954( 1954-07-04 ) (ve věku 68 let)
Místo narození
Země
Místo výkonu práce
Alma mater
vědecký poradce Catriel Beeri [d] [2]
Ocenění a ceny Guggenheimovo společenství Gödelova cena ( 2000 ) Paris Kanellakis Award ( 2005 ) Cena Evropské asociace pro teoretickou informatiku [d] ( 2012 ) Harry Hood Memorial Award ( 2011 ) SIGMOD Edgar F. Codd Innovations Award [d] ( 2008 ) člen AAAI [d] Ahoj ACM Člen Americké matematické společnosti člen American Association for the Advancement of Science [d] čestný doktor Sárské univerzity [d] ( 2002 ) člen Společnosti pro průmyslovou a aplikovanou matematiku [d] ( 2015 )
webová stránka cs.rice.edu/~vardi/
 Mediální soubory na Wikimedia Commons

Moshe Yaakov Vardy ( heb. משה יעקב ורדי ‏‎ ; narozen 4. července 1954 ) je izraelský matematik a počítačový vědec, emeritní profesor informatiky na Rice University [3] [4] , ředitel Kennedyho institutu pro informační technologie. .

Vzdělávání a vědecká činnost

Doktorát získal na Hebrejské univerzitě v Jeruzalémě v roce 1981 . Od ledna 1994 do června 2002 předsedal oddělení informatiky na Rice University. Před nástupem do Rice v roce 1993 pracoval ve výzkumném středisku IBM Almaden Research Center , kde vedl oddělení matematiky a spojeneckých počítačových věd.

Vědecké zájmy

Zájmy jsou zaměřeny na aplikaci logiky v informatice, včetně teorie databází, teorie konečných modelů, znalostí v multiagentních systémech , počítačové verifikace a uvažování a logiky kurikula. Je odborníkem na model checking , uspokojování omezení a teorii databází, obecné znalosti (logiku) a teoretickou informatiku [5] [6] .

Vědecké publikace

Autor více než 400 publikací [7] [8] [9] , editor několika vědeckých sborníků.

Autor knihy Reasoning About Knowledge [10] (s Ronaldem Faginem , Joseph Halpern a Yoram Moses ), Teorie konečných modelů a její aplikace [11] (s Erichem Gradelem, Fokionem Kolaitisem, Leonidem Libkinem, Martenem Marxem, Joelem Spencer , Go Wen a Scott Weinstein).

V roce 2012 byl šéfredaktorem Communications of the ACM [12] .

Ocenění a úspěchy

Vítěz tří cen IBM Outstanding Innovation Awards, Gödelovy ceny 2000 za práci na temporální logice s konečnými automaty , Kanellakisovy ceny 2005 a ceny LICS 2006.

V roce 2008 obdržel prezidentskou cenu ACM a Evropská akademie věd mu udělila medaili Blaise Pascala za výpočetní vědu [ 13 .

V roce 2010 získal ocenění Distinguished Service Awards od Computer Research Association ; v roce 2011 IEEE Computer Society Goode Award .

Čestné doktoráty z University of Saarland a University of Orléans .

Redaktor několika časopisů. Prezident Mezinárodní federace výpočetní logiky. Guggenheim Fellow , člen Association for Computing Machinery , American Association for Advancement of Science a American Association for Artificial Intelligence .

Zařazeno do seznamu vysoce citovaných vědců Ústavu pro vědecké informace . Člen Americké národní akademie inženýrství , Národní akademie věd USA [15] , Evropské akademie (Academia Europaea). V roce 2010 byl zvolen členem Americké akademie umění a věd [16] . Spolupředseda pracovní skupiny ACM pro pracovní migraci.

Poznámky

  1. ↑ Stažení dat Freebase – Google .
  2. ↑ Matematická genealogie  (anglicky) - 1997.
  3. ↑ www.cs.rice.edu/~vardi . Staženo: 20. června 2012.
  4. ↑ BOYD, Moshe Vardi z JADE Rice oceněný jako významný profesor služeb . Rice University (22. července 2011). — "Informatik Moshe Vardi z Riceovy univerzity byl jmenován profesorem za vynikající služby, což je jedno z nejprestižnějších fakultních jmenování." Získáno 10. dubna 2012. Archivováno z originálu 10. dubna 2012.
  5. ↑ Moshe Y. Vardi - stránka s profilem autora ACM . Získáno 13. února 2019. Archivováno z originálu dne 23. března 2019.
  6. ↑ Marianne Winslet. Moshe Vardi mluví o důkazu, o celém důkazu a o ničem jiném než o důkazu  // SIGMOD Record  : journal  . - 2006. - Sv. 35 . — S. 56 . - doi : 10.1145/1121995.1122008 .
  7. ↑ dblp: Moshe Y Vardi
  8. ↑ Moshe Y. Vardi – Google Scholar Citations . Získáno 12. února 2019. Archivováno z originálu dne 14. dubna 2021.
  9. ↑ Moshe Y. Vardi - Publikace a prezentace
  10. ↑ Vardi, Moshe Y.; Fagin, Ronald; Halpern, Josef; Joram Mojžíš. Reasoning About Knowledge  (neurčitá) . - 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. Teorie konečných modelů a její aplikace  (neopr.) . - Berlin: Springer, 2007. - ISBN 3-540-00428-9 .
  12. ↑ Moshe Y. Vardi. Umělá inteligence: Minulost a budoucnost  (anglicky)  // Communications of the ACM  : journal. - 2012. - Sv. 55 . — str. 5 . - doi : 10.1145/2063176.2063177 .
  13. ↑ MEDAILE BLAISE PASCALA 2008 (sekce: "Medaile Blaise Pascala v počítačové vědě") (odkaz není k dispozici) . Evropská akademie věd . — «Profesor Moshe Y. VARDI, USA / Jako uznání jeho vynikajících příspěvků v několika oblastech výpočetní vědy spojených jejich použitím logiky jako základní metodologie. Jeho práce měla zásadní a trvalý dopad na automatické ověřování, logiku znalostí, teorii databází a teorii konečných modelů. Získáno 27. dubna 2017. Archivováno z originálu 4. března 2017. 
  14. ↑ Dělá automatizace zkázu? . George R. Brown School of Engineering na Rice University (31. října 2016). - "Medaile Blaise Pascala za informatiku Evropské akademie věd za rok 2008". Získáno 27. dubna 2017. Archivováno z originálu 27. dubna 2017.
  15. ↑ Volby National Academy of Sciences, Notices of the American Mathematical Society vol . 62 (7): 826, srpen 2015 
  16. ↑ Moshe Y. Vardi z Riceové zvolen členem Americké akademie umění a věd Archivováno 3. února 2019 na Wayback Machine .

Odkazy

 Vítězové Kanellakis Award
  Přejděte na položku Wikidata  V sociálních sítích
Tematické stránky