לזלי למפורט

לזלי למפורט
Leslie Lamport
לידה 7 בפברואר 1941 (בן 83)
ניו יורק, ארצות הברית עריכת הנתון בוויקינתונים
ענף מדעי מדעי המחשב, חישוב מבוזר עריכת הנתון בוויקינתונים
מקום לימודים
מנחה לדוקטורט ריצ'רד פאליס עריכת הנתון בוויקינתונים
מוסדות
  • תאגיד Mitre (1962–1965)
  • מכון המחקר סטנפורד הבינלאומי (1977–1985)
  • DEC (1985–2001)
  • מיקרוסופט מחקר (2001) עריכת הנתון בוויקינתונים
פרסים והוקרה
www.lamport.org
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית

לזלי ב. למפורט (באנגלית: Leslie B. Lamport; נולד ב-7 בפברואר 1941) הוא מדען מחשבים אמריקאי-יהודי. ידוע בעיקר בזכות עבודתו המכוננת בתחום של חישוב מבוזר, וכמפתח הראשוני של שפת עיצוב המסמכים LaTeX ומחבר המדריך הראשון שלה[1][2]. למפורט הוא חתן פרס טיורינג לשנת 2013. הוא המציא אלגוריתמים חשובים ופיתח פרוטוקולי מידול ואימות פורמליים אשר משפרים את איכותן של מערכות מבוזרות מעשיות. תרומות אלה הביאו לשיפור התקינות, הביצועים והאמינות של מערכות מחשוב[3][4][5].

השכלה

למפורט הוא בוגר בית הספר התיכון למדעים בברונקס, קיבל תואר ראשון במתמטיקה מהמכון הטכנולוגי של מסצ'וסטס בשנת 1960, ותוארי מוסמך ודוקטור במתמטיקה מאוניברסיטת ברנדייס, בשנים 1963 ו-1972 בהתאמה[6]. עבודת הדוקטורט שלו עסקה בסינגולריות במשוואות דיפרנציאליות חלקיות אנליטיות[7].

קריירה ומחקר

למפורט עבד כמדען מחשבים בחברת Massachusetts Computer Associates בין השנים 1970 עד 1977, במכון המחקר SRI International בין 1977 ל-1985, וב-Digital Equipment Corporation ולאחר מכן ב-Compaq בין השנים 1985–2001. בשנת 2001 הצטרף לחטיבת המחקר של מיקרוסופט[6].

מערכות מבוזרות

עבודתו של למפורט הניחה את היסודות לתיאוריה של מערכות מבוזרות. בין המאמרים הבולטים שלו נמנים:

  • "Time, Clocks, and the Ordering of Events in a Distributed System"[3], אשר זכה בפרס דייקסטרה בשנת 2000[8]
  • "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs"[9], בו הגדיר את הרעיון של עקיבות סדרתית
  • "The Byzantine Generals' Problem"[10]
  • "Distributed Snapshots: Determining Global States of a Distributed System"[11]
  • "The Part-Time Parliament"[12]

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

LaTeX

למפורט הוא יוצרה של שפת עיצוב המסמכים LaTeX. לאחר שדונלד קנות' פרסם את המהדורות המוקדמות של TeX (שפה ותוכנה לסדר דפוס בעזרת מחשב) בתחילת שנות השמונים, למפורט החל לעבוד לצרכיו האישיים על מערכת פקודות מאקרו שמבוססת על TeX, בתקווה שהיא תהפוך מאוחר יותר לחבילת המאקרו הסטנדרטית. מערכת זו התפרסמה מאוחר יותר בשם LaTeX (שילוב של Lamport ו-TeX).

בשנת 1983 פנה פיטר גורדון, עורך בהוצאת הספרים Addison-Wesley, אל למפורט ושכנע אותו להפוך את מדריך המשתמש של LaTeX לספר, אף שלמפורט היה בספק אם אנשים ישלמו כסף על ספר כזה[14] [6]. בספטמבר 1984 פרסם למפורט את גרסת 2.06a של LaTeX, ובאוגוסט 1985 את LaTeX 2.09 - הגרסה האחרונה של LaTeX אותה כתב בעצמו. בינתיים, Addison-Wesley פרסמה בשנת 1986 את מדריך המשתמש הראשון של למפורט, LaTeX: A Document Preparation System, שנמכר במאות אלפי עותקים.

ב־21 באוגוסט 1989, בפגישה של קבוצת המשתמשים של TeX באוניברסיטת סטנפורד, העביר למפורט את התחזוקה והפיתוח של LaTeX לפרנק מיטלבך. מיטלבך הקים את צוות LaTeX3 יחד עם כריס רולי וריינר שפף, והם פרסמו את LaTeX 2e, הגרסה הנוכחית של LaTeX, בשנת 1994[6][2][15].

לוגיקה עיתית

למפורט ידוע גם בעבודתו על לוגיקה עיתית (לוגיקת זמן), בה הציג את הלוגיקה העיתית של פעולות (TLA)[16][17]. בין תרומותיו ניתן למנות את TLA+‎, שפה להגדרה ובחינה של מערכות מגיבות ובו-זמניות, אותה תיאר בספרו Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [18] והגדיר כ"ניסיון דון קישוטי להתגבר על סלידתם של מהנדסים ממתמטיקה"[19].

פרסים ותוארי כבוד

בשנת 2004 קיבל את פרס IEEE על שם עמנואל ר. פיורה המוענק על תרומות בתחום עיבוד נתונים ממוחשב[20]. בשנת 2005 קיבל מאמרו "Reaching Agreement in the Presence of Faults" [21] את פרס דייקסטרה [22]. בשנת 2008 קיבל את מדליית IEEE על שם ג'ון פון נוימן[23].

בשנת 2011 נבחר כחבר באקדמיה הלאומית למדעים של ארצות הברית.

למפורט הוא זוכה פרס טיורינג לשנת 2013 על "תרומות יסודיות לתיאוריה ולפרקטיקה של מערכות מבוזרות ובו-זמניות, בעיקר המצאת מושגים כמו סיבתיות ושעונים לוגיים, בטיחות וחיות, מכונות מצב משוכפלות, ועקיבות סדרתית"[24][25].

בשנת 2014 נבחר לעמית של ה-ACM על תרומות יסודיות לתיאוריה ולפרקטיקה של מערכות מבוזרות ובו-זמניות[26].

ללמפורט הוענקו חמישה תוארי דוקטור לשם כבוד מאוניברסיטאות אירופיות: מ-Université de Rennes-I ומאוניברסיטת כריסטיאן אלברכט בקייל בשנת 2003, מבית הספר הפוליטכני הפדרלי של לוזאן בשנת 2004, מ-Università della Svizzera italiana בשנת 2006 ומאוניברסיטת נאנסי בשנת 2007[6].

לכבוד יום הולדתו השישים של למפורט, אורגנה סדרת הרצאות בסימפוזיון ה-20 על עקרונות המחשוב המבוזר (PODC 2001)[27].

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

ויקישיתוף מדיה וקבצים בנושא לזלי למפורט בוויקישיתוף
ויקימילון ציטוטים בנושא לזלי למפורט בוויקיציטוט

הערות שוליים

  1. ^ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 978-0-201-15790-1. נבדק ב-2020-12-31.
  2. ^ 1 2 "The Definitive, Non-Technical Introduction to LaTeX, Professional Typesetting and Scientific Publishing". Math Vault (באנגלית אמריקאית). 2015-09-05. נבדק ב-2020-12-31.
  3. ^ 1 2 Lamport, L. (1978). "Time, clocks, and the ordering of events in a distributed system" (PDF). Communications of the ACM. pp. 558–565. doi:10.1145/359545.359563.
  4. ^ Savage, N. (2014). "General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended". Communications of the ACM. 57 (6): 22–23. doi:10.1145/2601076.
  5. ^ Hoffmann, L. (2014). "Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems". Communications of the ACM. 57 (6): 112–ff. doi:10.1145/2601077.
  6. ^ 1 2 3 4 5 Lamport, Leslie (2006-12-19). "My Writings". research.microsoft.com. נבדק ב-2020-12-31.
  7. ^ Lamport, Leslie (1972). "The Analytic Cauchy Problem with Singular Data". נבדק ב-2020-12-31.
  8. ^ Neiger, Gil (2003-01-23). "PODC Influential Paper Award: 2000". אורכב מ-המקור ב-2013-07-09. נבדק ב-2020-12-31.
  9. ^ Lamport, Leslie (1979). "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program". IEEE Trans. Comput. pp. 690–691. doi:10.1109/TC.1979.1675439. ISSN 0018-9340.
  10. ^ Lamport, Leslie; Robert Shostak; Marshall Pease (ביולי 1982). "The Byzantine Generals Problem". ACM Transactions on Programming Languages and Systems. pp. 382–401. doi:10.1145/357172.357176. נבדק ב-2020-12-31. {{cite web}}: (עזרה)
  11. ^ Chandy, K. Mani; Leslie Lamport (בפברואר 1985). "Distributed Snapshots: Determining Global States of a Distributed System". ACM Transactions on Computer Systems. pp. 63–75. doi:10.1145/214451.214456. נבדק ב-2020-12-31. {{cite web}}: (עזרה)
  12. ^ Lamport, Leslie (במאי 1998). "The Part-Time Parliament". ACM Transactions on Computer Systems. pp. 133–169. doi:10.1145/279227.279229. נבדק ב-2020-12-31. {{cite web}}: (עזרה)
  13. ^ "Most cited articles in Computer Science". בספטמבר 2006. {{cite web}}: (עזרה)
  14. ^ Lamport, Leslie. "How (LA)TEX changed the face of Mathematics" (PDF).
  15. ^ "TeX, LaTeX, and AMS-LaTeX". 1998-12-03. אורכב מ-המקור ב-1998-12-03. נבדק ב-2020-12-31.
  16. ^ Lamport, Leslie (1990-04-01). "A Temporal Logic of Actions". נבדק ב-2020-12-31.
  17. ^ Lamport, Leslie (במאי 1994). "The Temporal Logic of Actions". ACM Transactions on Programming Languages and Systems. pp. 872–923. doi:10.1145/177492.177726. נבדק ב-2020-12-31. {{cite web}}: (עזרה)
  18. ^ Lamport, Leslie (2002). Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley. ISBN 978-0-321-14306-8. נבדק ב-2020-12-31.
  19. ^ "The International Conference on Dependable Systems and Networks keynote speaker biography". אורכב מ-המקור ב-12 בפברואר 2019. נבדק ב-2020-12-31. {{cite web}}: (עזרה)
  20. ^ "IEEE Emanuel R. Piore Award Recipients" (PDF). IEEE. נבדק ב-2020-12-31.
  21. ^ Pease, Marshall; Robert Shostak; Leslie Lamport (באפריל 1980). "Reaching Agreement in the Presence of Faults". Journal of the Association for Computing Machinery. pp. 228–234. doi:10.1145/322186.322188. נבדק ב-2020-12-31. {{cite web}}: (עזרה)
  22. ^ "Edsger W. Dijkstra Prize in Distributed Computing: 2005". נבדק ב-2020-12-31.
  23. ^ "IEEE John von Neumann Medal Recipients" (PDF). IEEE. נבדק ב-31 בדצמבר 2020. {{cite web}}: (עזרה)
  24. ^ "Turing award 2013". ACM.
  25. ^ Lamport, Leslie (2013). "Leslie Lamport - A.M. Turing Award Winner". ACM.
  26. ^ Leslie Lamport ACM Fellows 2014
  27. ^ "PODC 2001: Lamport Lecture Series". נבדק ב-2020-12-31.

Read other articles:

Peringkat hotel

Konten dan perspektif penulisan artikel ini tidak menggambarkan wawasan global pada subjeknya. Silakan bantu mengembangkan atau bicarakan artikel ini di halaman pembicaraannya, atau buat artikel baru, bila perlu. (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini) Peringkat bintang lima superior di Hotel Vier Jahreszeiten Kempinski di Munich, Jerman Peringkat hotel biasa digunakan untuk mengklasifikasikan hotel berdasarkan kualitasnya. Awalnya peringkat ini dibuat untuk mengin...

 

 

Ondel-ondel

Pertunjukan ondel-ondel di Monumen Nasional Ondel-ondel diarak dalam rangka selametan pembukaan sayap baru Hotel des Indes pada tahun 1923. Video Jalan Ondel-Ondel Betawi Di Jakarta Ondel-ondel adalah bentuk pertunjukan seni khas Betawi yang sering ditampilkan dalam pesta rakyat. Tampaknya ondel-ondel memerankan leluhur atau nenek moyang yang senantiasa menjaga anak cucunya atau penduduk suatu desa. Ondel-ondel berupa boneka besar dengan tinggi sekitar 2,5 meter dengan garis tengah ± 80 ...

 

 

Sejarah dunia

Kuneiform dari Sumeria (2600 SM), sistem tulisan paling kuno yang diketahui sejauh ini. Setelah sistem tulisan diciptakan, akhirnya manusia mampu mencatat sejarahnya. Sejarah dunia adalah sejarah umat manusia di seluruh dunia, semua daerah di Bumi, dirunut dari era Paleolitikum (zaman batu tua). Berbeda dengan sejarah Bumi (yang mencakup sejarah geologis Bumi dan era sebelum keberadaan manusia), sejarah dunia terdiri dari kajian rekam arkeologi dan catatan tertulis, dari zaman kuno hingga saa...

Christian Steinmetz

American college basketball player For the American record producer and engineer, see Chris Steinmetz. Christian SteinmetzSteinmetz in Wisconsin uniform, 1905Personal informationBorn(1882-06-28)June 28, 1882Milwaukee, Wisconsin, U.S.DiedJune 11, 1963(1963-06-11) (aged 80)Milwaukee, Wisconsin, U.S.Listed height5 ft 9 in (1.75 m)Listed weight137 lb (62 kg)Career informationHigh schoolSouth Division (Milwaukee, Wisconsin)CollegeWisconsin (1902–1905)PositionForward...

 

 

Panthéon

Panthéon Panthéon adalah sebuah monumen di arondisemen ke-5 Paris, Prancis. Itu berdiri di Latin Quarter, di atas Montagne Sainte-Geneviève, di tengah Place du Panthéon, yang dinamai menurut namanya[1]. Bangunan itu dibangun antara 1758 dan 1790, dari desain oleh Jacques-Germain Soufflot, atas perintah Raja Louis XV dari Prancis; raja menginginkannya sebagai gereja yang didedikasikan untuk Saint Genevieve, santo pelindung Paris, yang reliknya akan disimpan di gereja[2]. Ba...

 

 

Daftar perwakilan pada Penghargaan Akademi ke-88 untuk Film Berbahasa Asing Terbaik

Sutradara Hungaria László Nemes memenangkan Academy Award untuk Film Berbahasa Asing Terbaik untuk Son of Saul. Ini adalah daftar perwakilan Penghargaan Akademi ke-88 untuk Film Berbahasa Asing Terbaik. Academy of Motion Picture Arts and Sciences (AMPAS) mengundang industri-industri film dari berbagai negara untuk mewakilkan film terbaik mereka pada Academy Award untuk Film Berbahasa Asing Terbaik setiap tahun sejak penghargaan tersebut dibuat pada 1956.[1] Penghargaan tersebut dipe...

Onet.pl

Polish web portal This article is about the Internet portal. For the O*NET occupational database, see Occupational Information Network. For the musical group, see One-T. Onet.plType of siteWeb portalFoundedJune 2, 1996; 27 years ago (1996-06-02)OwnerAxel Springer SE and RingierCreated byOddział InternetURLonet.plCommercialyes Onet.pl is the largest Polish-language web portal and online news platform.[1] According to Digital News Report, it is the largest online...

 

 

Kupa e Shqipërisë 2013-2014

Coppa d'Albania 2013-2014Kupa e Shqipërisë 2013-2014 Competizione Kupa e Shqipërisë Sport Calcio Edizione 62ª Organizzatore FSHF Date dal 25 settembre 2013al 18 maggio 2014 Luogo  Albania Risultati Vincitore  Flamurtari Valona(4ª titolo) Secondo  Kukësi Statistiche Incontri disputati 56 Gol segnati 161 (2,88 per incontro) Cronologia della competizione 2012-2013 2014-2015 Manuale La Kupa e Shqipërisë 2013-2014 è stata la 62ª edizione della coppa nazional...

 

 

Elixhausen

Questa voce o sezione sull'argomento centri abitati dell'Austria non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Elixhausencomune Elixhausen – Veduta LocalizzazioneStato Austria Land Salisburghese DistrettoSalzburg-Umgebung AmministrazioneSindacoMarkus Kurcz (ÖVP) TerritorioCoordinate47°52′N 13°04′E / 47.866667°N 13...

Broadcast News (film)

Broadcast NewsPoster rilis teatrikalSutradaraJames L. BrooksProduserJames L. BrooksDitulis olehJames L. BrooksPemeran William Hurt Albert Brooks Holly Hunter Penata musikBill ContiSinematograferMichael BallhausPenyuntingRichard MarksPerusahaanproduksiGracie FilmsDistributor20th Century FoxTanggal rilis 16 Desember 1987 (1987-12-16) Durasi133 menitNegaraAmerika SerikatBahasaInggrisAnggaran$15 juta[1]Pendapatankotor$67,331,309 Broadcast News adalah sebuah film komedi-drama pe...

 

 

SkyWest, Inc.

Airline holding company This article is about the North American airline. For the Australian airline called Skywest prior to May 2013, see Virgin Australia Regional Airlines. SkyWest, Inc.SkyWest Inc.'s headquarters in St. George, UtahCompany typePublicTraded asNasdaq: SKYWS&P 600 componentIndustryAviationFoundedSeptember 8, 2005; 18 years ago (2005-09-08)HeadquartersSt. George, Utah, United StatesKey peopleChip Childs (CEO and President)James Welch (Chair)Revenue U...

 

 

Mick Jagger discography

See also: The Rolling Stones discography and SuperHeavy Mick Jagger discographyStudio albums5Compilation albums1Singles22Soundtrack albums1 Mick Jagger is a British recording artist most well known for his association with the Rolling Stones and his songwriting partner in the group, Keith Richards; their partnership is considered one of the most successful in history.[1][2] As a solo artist he has released four solo albums, one collaborative album, one collaborative soundtrac...

Emanuel von Schimonsky

Coat of arms of Bishop Emanuel Schimonsky Emmanuel von Schimonsky (1752-1832) was Prince-Bishop of Wrocław from 1823 to 1832.[1][2][3][4] Early life Emmanuel von Schimonsky was born on 23 July 1752 in Brzeźnica,[5] the son of alderman Joseph von Schimonsky. He studied in Wroclaw, and later at the Lateran in Rome where he was ordained in 1775. He returned to Silesia[1][6] and was a pastor in Tany near a Koźla. At the same time, he serv...

 

 

Landgoed het Holtslag

Landgoed het Holtslag Landgoed het Holtslag is een voormalig landgoed in de Nederlandse gemeente Bronckhorst. Het enige dat er nog aan herinnert is het straatnaambordje Holtslagweg in de buurt van Toldijk. Het Holtslag wordt op 23 augustus 1401 vermeld als landgoed van de Heeren Bronkhorst, de graven van Limburg Stirum. Het kasteel Holtslag is gebouwd voor familie of een kind van de Heeren van Bronkhorst. Door Deryckz van Steinre is het tussen 1401 en 1442 verkocht aan Deryck Heyinck. Deze la...

 

 

The Housekeeper's Instructor

Cookbook by William Augustus Henderson The Housekeeper's Instructor Title page of 14th edition, 1807AuthorWilliam Augustus HendersonLater editions revised by Jacob Christopher SchnebbelieSubjectEnglish cookingGenreCookeryPublisherW. & J. StratfordPublication date1791[1]Publication placeEnglandPages384 The Housekeeper's Instructor was a bestselling English cookery book written by William Augustus Henderson, 1791. It ran through seventeen editions by 1823. Later editions were revise...

الدوري التشيكوسلوفاكي 1988–89

الدوري التشيكوسلوفاكي 1988–89 تفاصيل الموسم الدوري التشيكوسلوفاكي  [لغات أخرى]‏  النسخة 82  البلد تشيكوسلوفاكيا  المنظم اتحاد جمهورية التشيك لكرة القدم  البطل سبارتا براغ  مباريات ملعوبة 240   عدد المشاركين 16   الدوري التشيكوسلوفاكي 1987–88  الدوري ا�...

 

 

Heri Rustanto

Heri Rustanto Staf Khusus Tenaga Ahli Kepala Badan Nasional Penanggulangan Bencana Informasi pribadiLahir27 Januari 1978 (umur 46)IndonesiaAlma materAkademi Militer (1999)Karier militerPihak IndonesiaDinas/cabang TNI Angkatan DaratMasa dinas1999–sekarangPangkat KolonelSatuanInfanteriSunting kotak info • L • B Kolonel Inf. Heri Rustanto, S.Sos. (lahir 27 Januari 1978) adalah seorang perwira menengah TNI AD yang saat ini bertugas sebagai Staf Tenaga Ahli Kepala Ba...

 

 

Broadcasting House

Headquarters and registered office of the BBC This article is about the BBC's headquarters. For the BBC's former facilities in Manchester, see New Broadcasting House, Manchester. For other uses, see Broadcasting House (disambiguation). BBC Broadcasting HouseThe main entrance to Broadcasting HouseLocation within Central LondonAlternative namesNBH, OBH, BH, BBC Broadcasting HouseGeneral informationArchitectural styleArt DecoLocationWestminsterAddressPortland PlaceTown or cityLondon[2]Co...

憑神

憑神著者 浅田次郎発行日 2005年9月22日発行元 新潮社ジャンル 時代小説国 日本言語 日本語形態 上製本ページ数 286コード ISBN 978-4-10-439402-9 [ ウィキデータ項目を編集 ]テンプレートを表示 『憑神』（つきがみ）は、浅田次郎の小説[1]、およびそれを原作とした日本映画、舞台作品。小説は、『小説新潮』に2004年9月号から2005年5月号にかけて連載され、2005年9月に新�...

 

 

Paul Gallico

Paul GallicoFoto Gallico oleh Carl Van Vechten, 1937Lahir(1897-07-26)26 Juli 1897New York City, New York, A.S.Meninggal15 Juli 1976(1976-07-15) (umur 78)Antibes, PrancisPekerjaan Novelis cerpenis penulis olahraga Suami/istriAlva Thoits Taylor (5 September 1921 – 1934) (cerai)Elaine St. Johns (12 April 1935 – 1936) (cerai)Pauline Gariboldi (1939 – 1954) (cerai)Virginia von Falz-Fein (19 July 1963 – 15 July 1976) (meninggal)Tanda tangan Paul William Gallico (26 Juli 1897 R...