Moshe Vardi

Această intrare sau secțiune despre subiectul informaticii nu citează sursele necesare sau cei prezenți sunt insuficienți . Comentariu : după eliminarea legăturilor greșite ale traducerii automate, nu rămâne nimic Puteți îmbunătăți această intrare adăugând citate din surse de încredere în conformitate cu liniile directoare privind utilizarea surselor . Urmați sfaturile de proiectare de referință .

Moshe Ya'akov Vardi

Moshe Ya'akov Vardi ( 4 iulie 1954 ) este un informatician israelian , profesor de informatică la Departamentul de Informatică de la Universitatea Rice din Houston .

Interesele sale de cercetare acoperă diverse domenii ale logicii aplicate informaticii, inclusiv baze de date , sisteme multi-agent , teoria automatelor . Este expert în verificarea modelelor , probleme de satisfacție a constrângerilor și baze de date , cunoștințe comune și informatică teoretică .

Moshe Vardi este autorul a peste 400 de articole științifice și editor al diferitelor reviste de specialitate. Este autorul cărților Reasoning About Knowledge cu Ronald Fagin, Joseph Halpern și Yoram Moses și The Finite Model Theory and its Applications cu Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema și Scott Weinstein. . În plus, este redactor-șef al [[Comunicări> al ACM]].

fundal

A fost șeful departamentului de informatică al Universității Rice din ianuarie 1994 până în iunie 2002. Înainte de a se alătura Rice în 1993, a fost la Centrul de Cercetare IBM Almaden, unde a condus Departamentul de Matematică și Informatică. Prof. Vardi și-a luat doctoratul laUniversitatea Ebraică din Ierusalim în 1981.

Distincții și premii

În cariera sa, Vardi a primit trei premii IBM pentru inovație remarcabilă, a primit premiul Gödel în 2000 (pentru lucrări de logică temporală și automate), împreună cu Pierre Wolper , în 2005, premiul ACM Paris Kanellakis Theory and Practice împreună cu Gerard Holzmann , Robert Kurshan și Pierre Wolper și premiul LICS 2006 Test-of-Time Award 2006, alături de Pierre Wolper. El este, de asemenea, câștigătorul Premiului prezidențial ACM din 2008, al Premiului pentru serviciile distinse din 2010 de la Computing Research Association și al Institutului de ingineri electrici și electronici (IEEE) Computer Society 2011 Harry H. Goode Award.

A primit doctorate onorifice de la Universitatea Saarland, Germania și Universitatea din Orleans, Franța. Prof. Vardi este redactor la mai multe reviste internaționale și președinte al Federației Internaționale a Logicienilor Computaționali. Este membru al Guggenheim , precum și membru al Asociației pentru Mașini de Calculat , al Asociației Americane pentru Avansarea Științei și al Asociației Americane pentru Inteligența Artificială. A fost desemnat cercetător înalt citat de Institutul pentru Informații Științifice și a fost ales membru al Academiei Naționale de Inginerie din SUA , Academiei Naționale de Științe , ^[1] Academiei Europene de Științe și Academiei Europaea .

Notă

Alte proiecte

• Wikimedia Commons conține imagini sau alte fișiere despre Moshe Y. Vardi

linkuri externe

• Site-ul oficial , pe cs.rice.edu .
• (EN) Moshe Vardi , de la Mathematics Genealogia Project , North Dakota State University.