משה ורדי (מדען מחשב)

משה ורדי
לידה 4 ביולי 1954 (בן 70)
חיפה, ישראל עריכת הנתון בוויקינתונים
מקום לימודים
מנחה לדוקטורט כתריאל בארי עריכת הנתון בוויקינתונים
מוסדות
תלמידי דוקטורט Erion Plaku, Kuldeep S. Meel, Deian Tabakov, Kristin Yvonne Rozier עריכת הנתון בוויקינתונים
פרסים והוקרה
  • פרס ACM - AAAI Allen Newell (2020)
  • עמית האגודה האמריקאית למתמטיקה (2019)
  • עמית החברה למתמטיקה תעשייתית ושימושית (2015)
  • פרס האיגוד האירופי לתאוריה של מדעי המחשב (2012)
  • פרס לזכר הארי גוד (2011)
  • פרס החדשנות ע"ש אדגר קוד של SIGMOD (2008)
  • פרס פריס קנלאקיס (2005)
  • עמית באגודה האמריקאית לקידום המדע
  • מלגת גוגנהיים (2005)
  • עמית האגודה האמריקאית לבינה מלאכותית (2004)
  • פרס גדל (2000)
  • עמית ACM (2000) עריכת הנתון בוויקינתונים
www.cs.rice.edu/~vardi/
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית

משה יעקב ורדי (נולד ב-4 ביולי 1954) הוא פרופסור (בדרגת University Professor) למדעי המחשב באוניברסיטת רייס בטקסס, זוכה פרס גדל לשנת 2000[1], וחבר האקדמיה הלאומית למדעים של ארצות הברית מ-2015.

קורות חיים

משה ורדי הוא ילדם השני, מתוך שלושה, של צפורה[2] והרב פנחס ורדי[3], זוג ניצולי שואה, ממגיני הקיבוץ בארות יצחק במלחמת השחרור, וממיסדי המושב השיתופי ניר עציון, שם נולד וגדל. בגיל 13 עברו הוריו לעבוד ולהתגורר במושב כפר הרא"ה[3], וורדי החל ללמוד בישיבת בני עקיבא במקום[4]. ב-1970 למד במשך שנה בישיבת הכותל בעיר העתיקה של ירושלים, וב-1971 החל ללמוד פיזיקה ומדעי המחשב באוניברסיטת בר-אילן במסגרת העתודה האקדמית. ורדי שירת בחיל התותחנים.

ורדי נישא בשנות ה-80 של המאה העשרים לפם גיאר, אמו של מדען המחשבים אהרון הרצמן.

ורדי התבטא בפומבי בנושאים שונים, כולל שואת יהודי הונגריה, שהוריו נצלו ממנה[5], מלחמת לבנון הראשונה[6], וההשפעה האפשרית של ההתפתחות המואצת של אינטליגנציה מלאכותית על שוק העבודה[7].

השכלה

ורדי הוא בוגר תואר ראשון בפיזיקה ומדעי המחשב מאוניברסיטת בר-אילן (1974) ותואר שני במדעי המחשב ממכון ויצמן (1980). בשנת 1981 סיים דוקטורט בהנחיית פרופסור כתריאל בארי באוניברסיטה העברית בתחום הלוגיקה של בסיסי נתונים.

מחקר ואקדמיה

בשנים 1981–1983 עסק ורדי במחקר בתר-דוקטורי באוניברסיטת סטנפורד בפלו אלטו קליפורניה. אזי, עבר לעבוד במרכז המחקר אלמדן של חברת אי.בי.אמ, אף הוא בפלו אלטו. החל משנת 1994 מלמד ורדי באוניברסיטת רייס, יוסטון, טקסס. בשנים 1994–2002 כיהן כראש המחלקה למדעי המחשב, ועתה הוא מנהל את מכון קן קנדי לטכנולוגית המידע.

נושאי מחקר

תחומי העניין של ורדי מתרכזים ביישומי לוגיקה על מדעי המחשב: לוגיקה של בסיסי נתונים, תיאוריה של מודלים סופיים, ידע במערכות רבות-סוכנים, אימות והסקה בידי מחשב, הוראת לוגיקה בחוגי לימוד ורמות שונות. ורדי מומחה בעל שם בבדיקת מודלים, ניהול אילוצים בתיאוריה של בסיסי נתונים, וידע משותף[8].

ספרים, פרסומים

בשנים 2008–2017 היה ורדי העורך הראשי של הירחון Communications of the ACM[9].

יחד עם עמיתים, כתב ורדי שני ספרים:

1. Reasoning About Knowledge[10]

2. Finite Model Theory and Its Applications[11]

ורדי הוא מחבר או מחבר שותף של למעלה מ-700 פרסומים ועורך או עורך שותף של קובצי פרסומים רבים.

פרסים והוקרה

בשנת 2000 זכה ורדי יחד עם פייר וולפר בפרס גדל על עבודתו בתחום בדיקות מודאליות בעזרת אוטומט סופי. בשנת 2012 הוענקה לו מדליית EATCS מטעם האיגוד האירופי למדעי המחשב התאורטיים[12]. ב-2015 מונה ורדי להיות חבר האקדמיה הלאומית למדעים של ארצות הברית[13].

משה ורדי נואם בטקס קבלת תואר ד"ר לשם כבוד באוניברסיטת האלפים, גרנובל, צרפת, 26 נובמבר 2019

8 מוסדות אקדמיים ברחבי העולם העניקו לורדי תוארי דוקטור של כבוד: אוניברסיטת סארלנד (גרמניה), אוניברסיטת אורליאנס (לואיזיאנה), אוניברסיטת האלפים בגרנובל (צרפת)[14], האוניברסיטה הפדרלית של ריו גרנדה דל סול (ברזיל)[15], אוניברסיטת לייג'(בלגיה)[16], האוניברסיטה הטכנית של וינה (אוסטריה), אוניברסיטת אדינבורו (סקוטלנד)[17], ואוניברסיטת גוטנברג (שוודיה)[18].

ורדי הוא עמית ACM[19] .

קישורים חיצוניים

ויקישיתוף מדיה וקבצים בנושא משה ורדי בוויקישיתוף

הערות שוליים

  1. ^ ACM SIGACT - Gödel Prize, www.sigact.org
  2. ^ משה ורדי, הספד על אמי צפורה ורדי 17 מאי 2019, ‏17.5.2019
  3. ^ 1 2 משה ורדי, הרב פנחס חיים ורדי(רוזנפלד), ‏12.9.2014
  4. ^ ארכיון הסרטים הישראלי, הרב החלוץ-ביסוס כפרים חקלאיים דתיים בארץ ישראל , 2:46 מתחילת הסרטון., ‏צולם 1968, פורסם 1971
  5. ^ משה ורדי, הרצאה על שואת יהודי הונגריה, ‏6 פברואר 2020
  6. ^ משה ורדי, יוני 1982: מלחמת לבנון הראשונה והשפעתה האסטרטגית, ‏20 ספטמבר 2022
  7. ^ אתר למנויים בלבד סמי פרץ, כשמאות מיליונים יפוטרו: "אנשים יצטרכו לחזור לבית הספר באמצע החיים", באתר TheMarker‏, 1 בינואר 2018
  8. ^ Winslett, Marianne (2006). "Moshe Vardi speaks out on the proof, the whole proof, and nothing but the proof". ACM SIGMOD Record. 35: 56–64. doi:10.1145/1121995.1122008. S2CID 27479793.
  9. ^ People of ACM - Moshe Y. Vardi, ACM, ‏27.6.2017
  10. ^ Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Reasoning About Knowledge. Cambridge, Massachusetts: The MIT Press. ISBN 0-262-56200-6.
  11. ^ Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde (2007). Finite model theory and its applications. Berlin: Springer. ISBN 978-3-540-00428-8.
  12. ^ EATCS Award, European Association for Theoretical Computer Science
  13. ^ רשימת חברי האקדמיה, משה ורדי, באתר האקדמיה הלאומית למדעים, ‏2015
  14. ^ "Vardi awarded honorary doctorate by Université Grenoble Alpes". rice.edu.
  15. ^ "Doctor Honoris Causa to Professor Moshe Vardi". ufrgs.br. 21 במרץ 2016. {{cite web}}: (עזרה)
  16. ^ "L'ULiège honore 10 personnalités internationales et ses nouveaux diplômés docteurs (avec thèse)". Université de Liège. 16 במרץ 2017. נבדק ב-26 באוגוסט 2022. {{cite web}}: (עזרה)
  17. ^ "Moshe Vardi - Humans, Machines, and Work: The Future is now". ed.ac.uk.
  18. ^ "Moshe Y. Vardi has been appointed honorary doctor at The IT faculty". gu.se.
  19. ^ Moshe Y Vardi, awards.acm.org (באנגלית)

Read other articles:

The End (Grimm)

13th episode of the 6th season of Grimm The EndGrimm episodeEpisode no.Season 6Episode 13Directed byDavid GreenwaltWritten byDavid GreenwaltJim KoufProduced by David Greenwalt Jim Kouf Sean Hayes Todd Milliner Featured musicRichard MarvinCinematography byRoss BerrymanEditing byGeorge PilkintonProduction code613Original air dateMarch 31, 2017 (2017-03-31)Running time42 minutesGuest appearances Jacqueline Toboni as Theresa Trubel Rubel Wil Traval as Zerstörer Kevin Joy as A...

 

Roger Faulques

French military officer and mercenary Roger René FaulquesNickname(s)L'homme aux milles vies (The Man of a Thousand Lives)[1]Born14 December 1924Zweibrücken, Weimar GermanyDied6 December 2011(2011-12-06) (aged 86)Nice, FranceAllegiance French ArmyService/branchForeign LegionYears of service1944–1964RankColonelCommands heldPlatoon ranking students (PEG) of 1st Foreign Parachute Battalion (1er BEP)Battles/warsWorld War IIFirst Indochina War Battle of Route Coloniale 4 Suez ...

 

Li Shizhen

artikel ini tidak memiliki pranala ke artikel lain. Tidak ada alasan yang diberikan. Bantu kami untuk mengembangkannya dengan memberikan pranala ke artikel lain secukupnya. (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini) artikel ini perlu dirapikan agar memenuhi standar Wikipedia. Tidak ada alasan yang diberikan. Silakan kembangkan artikel ini semampu Anda. Merapikan artikel dapat dilakukan dengan wikifikasi atau membagi artikel ke paragraf-paragraf. Jika sudah dirapikan, ...

1990 United States Senate election in Colorado

1990 United States Senate election in Colorado ← 1984 November 6, 1990 1996 →   Nominee Hank Brown Josie Heath Party Republican Democratic Popular vote 569,048 425,746 Percentage 55.68% 41.66% County resultsBrown:      50–60%      60–70%      70–80%      80–90%Heath:      40–50%      50–60%  ...

 

Electrodo

Las baterías comunes poseen dos electrodos. Un electrodo es un conductor eléctrico utilizado para hacer contacto con una parte no metálica de un circuito, por ejemplo un semiconductor, un electrolito, el vacío del grupo (en una válvula termoiónica), un gas (en una lámpara de neón, o argón), etc. La palabra fue acuñada por el científico Michael Faraday por composición de las voces griegas elektron, que significa ámbar y de la que proviene la palabra electricidad; y hodos, que sign...

 

Underemployment

Underutilization of workers' talents or skills in employment For the television series, see Underemployed (TV series). This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Underemployment – news · newspapers · books · scholar · JSTOR (July 2019) (Learn how and when to remove this message) In 2014, university grad...

Кача — етап історії вітчизняної авіації (монета)

Кача — етап історії вітчизняної авіації УкраїнаНомінал 5 гривеньМаса 16,54 гДіаметр 35 ммГурт рифленийМетал нейзильберРоки карбування 2012Аверс Реверс «Ка́ча — ета́п істо́рії вітчизня́ної авіа́ції» — ювілейна монета номіналом 5 гривень, випущена Націонал�...

 

Larry Dickson

American racing driver (born 1938) This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous.Find sources: Larry Dickson – news · newspapers · books · scholar · JSTOR (December 2010) (Learn how and when to remove this ...

 

Hobbes's moral and political philosophy

Aspect of the English philosopher's teachings Portrait of Thomas Hobbes Thomas Hobbes’s moral and political philosophy is constructed around the basic premise of social and political order, explaining how humans should live in peace under a sovereign power so as to avoid conflict within the ‘state of nature’.[1] Hobbes’s moral philosophy and political philosophy are intertwined; his moral thought is based around ideas of human nature, which determine the interactions that make...

Economic geography

Subfield of human geography and economics For the journal, see Economic Geography (journal). Part of a series onGeography Portal Outline History of geography Graeco-Roman Chinese Islamic Age of Discovery History of cartography Environmental determinism Regional geography Quantitative revolution Critical geography Human geographyFields Cognitive Cultural Development Economic Food Health Historical Internet Religion Social Political Population Transportation Tourism Urban Physical geographyFiel...

 

Sejarah pakaian

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Februari 2023. Sejarah pakaian, penggunaan pakaian secara khusus merupakan ciri masyarakat kebanyakan manusia. Tidak diketahui kapan awal manusia memakai pakaian tapi pakar antropologi percaya bahwa kulit binatang dan kulit pepohonan sebagai bahan pakaian dengan pen...

 

Dialetto frignanese

FrignaneseFrignanesParlato inItalia RegioniEmilia Romagna LocutoriTotale~60.000 Codici di classificazioneISO 639-2roa Manuale Comuni della provincia di Modena dove si parla il Frignanese (in giallo) Il dialetto frignanese[1] è una varietà frammentaria e completamente priva di un centro linguistico della lingua emiliana simile al dialetto modenese. È parlato nei comuni che formano le comunità montane del Frignano, dell'Appennino Ovest e dell'Appennino Est, ovvero in tutta la zona a...

Lillian Dunlap

American army officer and military nurse (1922–2003) Lillian DunlapBorn(1922-01-20)January 20, 1922Mission, TexasDiedApril 3, 2003(2003-04-03) (aged 81)Brooke Army Medical Center, San Antonio, TexasBuriedFort Sam Houston National CemeteryAllegianceUnited StatesService/branchUnited States ArmyYears of service1942–1975RankBrigadier GeneralCommands heldUnited States Army Nurse CorpsBattles/warsWorld War IIAwardsArmy Distinguished Service MedalMeritorious Service MedalArmy Commendat...

 

Light switch

Type of switch in electrical wiring For the Microsoft product, see LightSwitch. For the song by Dredg, see Lightswitch (Dredg song). For the song by Charlie Puth, see Light Switch (song). Two decorator-style rocker switches and wiring, as installed in the United States. Shown here will be fastened to this recessed, non-metallic box, then a cover plate is installed. This double gang (two unit) installation uses non-metallic-sheathed cable and twist-on wire connectors. In electrical wiring, a l...

 

Lyceum Theatre (Broadway)

Broadway theater in Manhattan, New York Lyceum TheatreThe theater showing Be More Chill (2019)Address149 West 45th StreetManhattan, New York CityUnited StatesCoordinates40°45′28″N 73°59′05″W / 40.75778°N 73.98472°W / 40.75778; -73.98472OwnerThe Shubert OrganizationCapacity922ProductionOh, Mary!ConstructionOpenedNovember 2, 1903 (120 years ago) (1903-11-02)Years active1903–presentArchitectHerts & TallantWebsitehttps://shubert.nyc/theatres...

Tiberio Sempronio Gracco (console 177 a.C.)

Tiberio Sempronio GraccoConsole della Repubblica romanaNome originaleTiberius Sempronius Gracchus Nascita220 a.C. Morte154 a.C. FigliTiberio Sempronio Gracco Gaio Sempronio Gracco GensSempronia PadrePublio Sempronio Gracco Tribunato della plebe187 a.C. Consolato177 a.C.163 a.C. Censura169 a.C. Tiberio Sempronio Gracco (220 a.C. – 154 a.C.) è stato un militare e politico romano della Repubblica. Indice 1 Biografia 2 Note 3 Bibliografia 4 Collegamenti esterni Biografia Fu il padre di Ti...

 

Fußball-Bundesliga 2008-2009 (Austria)

Fußball-Bundesliga 2008-2009 (Austria) Competizione Fußball-Bundesliga Sport Calcio Edizione 98ª Organizzatore ÖFB Luogo  Austria Partecipanti 10 Risultati Vincitore  Salisburgo(5º titolo) Statistiche Miglior marcatore Marc Janko, 39 Cronologia della competizione 2007-08 2009-10 Manuale Questa voce o sezione sull'argomento competizioni calcistiche non è ancora formattata secondo gli standard. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i su...

 

Central Africa Time

Time zone Time zones of Africa: Light Blue Cape Verde Time[a] (UTC−1) Blue Greenwich Mean Time (UTC) Red Central European TimeWest Africa Time (UTC+1) Ochre Central Africa TimeEastern European TimeEgypt Standard TimeSouth African Standard Time (UTC+2) Green East Africa Time (UTC+3) Turquoise Mauritius Time[b]Seychelles Time[b] (UTC+4) a The islands of Cape Verde and Canary Islands are to the west of the African mainland.b Mauritius and the Seychelles are to the east and north-east of Madaga...

Fasting

Willing abstinence from, or reduced consumption of, food and/or drink A glass of water on an empty plateFasting is abstention from eating, and sometimes drinking. However, from a purely physiological context, fasting may refer to the metabolic status of a person who has not eaten overnight (before breakfast), or to the metabolic state achieved after complete digestion and absorption of a meal.[1] Metabolic changes in the fasting state begin after absorption of a meal (typically 3–5 ...

 

Otto Acron

Australian strongman (born 1935) Otto AcronBornAlexander James Alsop (1935-05-12) 12 May 1935 (age 89)Sydney, AustraliaOccupation(s)Circus strongman, Wrestler, modern strongman Otto Acron (born 12 May 1935) is an Australian strongman. Early life Otto Acron was born 12 May 1935 as Alexander James Alsop in Sydney, Australia to Lilly Elizabeth and James Gess Alsop. He had two brothers, Ken his older and Ian his younger brother. His father worked on the railways as a boilermaker. Otto recall...