Moshe Vardi

Moshe Vardi

Mae
Moshe Vardi IMG 0010.jpg
Geboren
Moshe Ya'akov Vardi
hebräisch: משה יעקב ורדי

1954 (Alter 67–68)
Israel
Alma Mater
Auszeichnungen
Wissenschaftliche Karriere
Felder Logik
Berechnung[3]
Institutionen Rice University
IBM -Forschung
Universität in Stanford
These Das Implikationsproblem für Datenabhängigkeiten im relationalen Modell (1981)
Doktorand Catriel Beeri[4]
Doktorand Kristin Yvonne Rozier
Webseite www.cs.Reis.edu/~ Vardi/ Edit this at Wikidata

Moshe Ya'akov Vardi (hebräisch: משה יעקב ורדי) Mae[5] ist ein israelischer Mathematiker und Informatiker. Er ist Professor von Informatik bei Rice University, Vereinigte Staaten.[6][7][3] Er ist Universitätsprofessor, Karen Ostrum George Professor für Computational Engineering, Distinguished Service Professor,[8] und Direktor des Ken Kennedy Institute for Information Technology. Seine Interessen konzentrieren sich auf Anwendungen der Logik für Informatik, einschließlich Datenbanktheorie, Finite -Modell -Theorie, Wissen in Multi-Agent-Systeme, computergestützte Überprüfung und Argumentation sowie Unterrichtslogik im gesamten Lehrplan. Er ist ein Experte in Modellprüfung, Einschränkungszufriedenheit und Datenbanktheorie, allgemeines Wissen (Logik), und Theoretische Informatik.[9][10]

Vardi hat über 600 technische Papiere verfasst oder mitautorisiert[7][3] sowie mehrere Sammlungen bearbeiten. Er hat die Bücher verfasst Argumentation über Wissen[11] mit Ronald Fagin, Joseph Halpern, und Yoram Moses, und Finite -Modell -Theorie und ihre Anwendungen[12] mit Erich Graben, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema und Scott Weinstein. Er ist Senior Editor von Kommunikation der ACM, nachdem er als seine gedient hat Chefredakteur für ein Jahrzehnt.[13]

Ausbildung

Vardi war Studentin bei Student bei Bar-Ilan University und erhielt seine Master in Wissenschaften Abschluss aus dem Weizmann Institute of Science.[1] Seine PhD wurde von Catriel Beeri überwacht und von der verliehen Hebräische Universität von Jerusalem 1981.[4]

Karriere und Forschung

Vardis Forschungsinteressen sind in Logik und Berechnung.[3] Er war Vorsitzender der Informatikabteilung bei Rice University Von Januar 1994 bis Juni 2002. Bevor er 1993 zu Rice kam, arbeitete er bei IBM -Forschung und war auch ein Postdoktorand bei Universität in Stanford.[5] Vardi dient als Herausgeber mehrerer internationaler Zeitschriften[Klarstellung erforderlich] und der Präsident der International Federation of Computational Logics. Er hat auch Co-Vorsitzende der Vorsitzenden Verband für Rechenmaschinen (ACM) Einsatzgruppe an Jobmigration.[wenn?]

Auszeichnungen und Ehrungen

Vardi erhielt drei IBM Outstanding Innovation Awards, eine Mitgewinnerin des 2000 Gödel -Preis (für die Arbeit an zeitliche Logik mit Finite Automaten), Gewinner der Knuth -Preis Im Jahr 2021 ein Mitgewinner der Paris Kanellakis Award Im Jahr 2005 und Mitgewinner der LICs 2006 Test-of-Time-Auszeichnung. Er ist auch der Empfänger des ACM -Präsidentenpreis von 2008 und 2017, der Blaise Pascal Medal in Computational Science 2008, 2008[14] von der Europäischen Akademie der Wissenschaften,[15] Der Distinguished Service Award 2010 des Computing Research Association, des Institute of Electrical and Electronics Engineers (IEEE) Computer Society 2011 Harry H. Goode Memorial Award, die 2018 ACM Special Interest Group für Logik und Berechnung (Siglog), die Europäische Vereinigung für theoretische Informatik (EATCS), die Europäische Vereinigung für Informatiklogik (EACSL) und die Kurt Gödel Society (KGS) gemeinsam gesponsert Alonzo -Kirche Auszeichnung für herausragende Beiträge zur Logik und Berechnung (mit Tomas Feder). Vardi hält auch Ehrendoktorate von acht Universitäten:

Vardi hält seine Akzeptanzrede für seine Ehrendoktoration in Grenoble
  1. Saarland University, Deutschland[5]
  2. Universität von Orléans[5]
  3. Grenoble Alpes University (UGA) in Frankreich[16]
  4. Bundes Universität von Rio Grande do Sul (UFRGS) in Brasilien[17]
  5. Universität von Lütten in Belgien
  6. Tu Wien in Österreich
  7. Universität von Edinburgh in Schottland[18]
  8. Universität Göteborg in Schweden[19]

Vardi ist a Guggenheim Fellow, ACM Fellow, AAAI -Kerl[20] und ein Gefährte des American Association for the Advancement of Science. Er wurde von der als stark zitierten Forscher bezeichnet Institut für wissenschaftliche Informationenund wurde als Mitglied der USA gewählt Nationale Akademie des Ingenieurwesens, das Nationale Akademie der Wissenschaften,[2][21] die Europäische Akademie der Wissenschaften und die Akademie Europaea (Mae).[5] Er wurde zum Stipendiaten der Amerikanische Akademie für Kunst und Wissenschaften in 2010.[22] Er wurde in die Klasse von Stipendiaten von 2019 der Aufnahme American Mathematical Society "Für Beiträge zur Entwicklung und Verwendung der mathematischen Logik in der Informatik".[23]

Persönliches Leben

Vardi lebt mit seiner Frau Pamela Geyer in Bellaire, Texas. Sein Stiefsohn Aaron Hertzmann[24] ist auch a Informatiker bei Adobe Research

Verweise

  1. ^ a b "Menschen von ACM - Moshe Y. Vardi". ACM.org.
  2. ^ a b "Moshe Y. Vardi: Computer- und Informationswissenschaften". Nasonline.org. Nationale Akademie der Wissenschaften.
  3. ^ a b c d Moshe Vardi Veröffentlichungen indexiert von Google Scholar Edit this at Wikidata
  4. ^ a b Moshe Vardi Bei der Mathematik Genealogie -Projekt Edit this at Wikidata
  5. ^ a b c d e "Moshe Y. Vardi". ae-info.org. Akademie Europaea.
  6. ^ "www.cs.rice.edu/~vardi". Abgerufen 2012-06-20.
  7. ^ a b Moshe Vardi bei DBLP Bibliographieserver Edit this at Wikidata
  8. ^ Boyd, Jade (22. Juli 2011). "Rices Moshe Vardi wurde als angesehener Dienstprofessor geehrt". Rice University. Archiviert Aus dem Original am 6. März 2014. Abgerufen 10. April, 2012. Der Informatiker der Rice University, Moshe Vardi, wurde zum Distinguished Service Professor ernannt, einer der prestigeträchtigsten Fakultäts -Ernennungen der Universität.
  9. ^ Moshe Vardi Autorenprofilseite am ACM Digitale Bibliothek
  10. ^ Winslett, Marianne (2006). "Moshe Vardi spricht über den Beweis, den ganzen Beweis und nichts als den Beweis". ACM Sigmod Record. 35: 56–64. doi:10.1145/1121995.1122008. S2CID 27479793.
  11. ^ Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Argumentation über Wissen. Cambridge, Massachusetts: Die MIT -Presse. ISBN 0-262-56200-6.
  12. ^ Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde (2007). Finite -Modell -Theorie und ihre Anwendungen. Berlin: Springer. ISBN 978-3-540-00428-8.
  13. ^ Vardi, M. Y. (2012). "Künstliche Intelligenz: Vergangenheit und Zukunft". Kommunikation der ACM. 55: 5. doi:10.1145/2063176.2063177.
  14. ^ "Die Blaise Pascal Medal 2008 (Abschnitt:" Blaise Pascal Medal in Computational Science ")". Europäische Akademie der Wissenschaften. Archiviert von das Original am 4. März 2017. Abgerufen 27. April, 2017. Professor Moshe Y. Vardi, USA / In Anerkennung seiner herausragenden Beiträge in mehreren Bereichen der Computerwissenschaft, die durch die Verwendung der Logik als zugrunde liegende Methodik verbunden sind. Seine Arbeit hatte grundlegende und dauerhafte Auswirkungen auf die automatische Überprüfung, Logik des Wissens, die Datenbanktheorie und die Finite-Model-Theorie
  15. ^ "Ist Automatisierungs -Doom -Arbeiter?". (George R. Brown School of Engineering bei) Rice University. 31. Oktober 2016. Archiviert vom Original am 29. April 2017. Abgerufen 27. April, 2017. Die Blaise Pascal Medal für Informatik 2008 der Europäischen Akademie der Wissenschaften
  16. ^ "Vardi hat von der Université Grenoble Alpes eine Ehrendoktoration ausgezeichnet". Reis.edu.
  17. ^ "Doctor Honoris Causa an Professor Moshe Vardi". UFRGS.BR.
  18. ^ "Moshe Vardi - Menschen, Maschinen und Arbeit: Die Zukunft ist jetzt". ed.ac.uk.
  19. ^ "Moshe Y. Vardi wurde zum Ehrenarzt an der IT -Fakultät ernannt". Gu.se.
  20. ^ "AAAI -Stipendiaten". aaai.org. Vereinigung zur Weiterentwicklung künstlicher Intelligenz.
  21. ^ "Wahlen der Nationalen Akademie der Wissenschaften", Mathematik, Menschen, Mitteilungen der American Mathematical Society, 62 (7): 826, August 2015.
  22. ^ Rices Moshe Y. Vardi gewählter Fellow der American Academy of Arts and Sciences.
  23. ^ 2019 Klasse der Stipendiaten der AMS, American Mathematical Society, abgerufen 2018-11-07
  24. ^ "Aaron Hertzmann: Principal Scientist, Adobe Research". Toronto.edu.