לזלי למפורט

לזלי ב. למפורט (באנגלית: Leslie B. Lamport; נולד ב-7 בפברואר 1941) הוא מדען מחשבים אמריקאי-יהודי. ידוע בעיקר בזכות עבודתו המכוננת בתחום של חישוב מבוזר, וכמפתח הראשוני של שפת עיצוב המסמכים LaTeX ומחבר המדריך הראשון שלה.
למפורט הוא חתן פרס טיורינג לשנת 2013. הוא המציא אלגוריתמים חשובים ופיתח פרוטוקולי מידול ואימות פורמליים אשר משפרים את איכותן של מערכות מבוזרות מעשיות. תרומות אלה הביאו לשיפור התקינות, הביצועים והאמינות של מערכות מחשוב<ref name="timeclocks"></ref><ref></ref><ref></ref>.

== השכלה ==
למפורט הוא בוגר בית הספר התיכון למדעים בברונקס, קיבל תואר ראשון במתמטיקה מהמכון הטכנולוגי של מסצ'וסטס בשנת 1960, ותוארי מוסמך ודוקטור במתמטיקה מאוניברסיטת ברנדייס, בשנים 1963 ו-1972 בהתאמה<ref name="lamport-writings"></ref>. עבודת הדוקטורט שלו עסקה בסינגולריות במשוואות דיפרנציאליות חלקיות אנליטיות<ref></ref>.

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

=== מערכות מבוזרות ===
עבודתו של למפורט הניחה את היסודות לתיאוריה של מערכות מבוזרות. בין המאמרים הבולטים שלו נמנים:
* "Time, Clocks, and the Ordering of Events in a Distributed System", אשר זכה בפרס דייקסטרה בשנת 2000<ref></ref>
* "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs"<ref></ref>, בו הגדיר את הרעיון של עקיבות סדרתית
* "The Byzantine Generals' Problem"<ref></ref>
* "Distributed Snapshots: Determining Global States of a Distributed System"<ref></ref>
* "The Part-Time Parliament"<ref></ref>

מאמרים אלה מתייחסים למושגים כמו שעון לוגי (ממנו נגזר היחס "קרה מוקדם יותר") וכשל ביזנטי (אי-התאמה במידע בין מערכות מקביליות שחלקן עשויות להיות בלתי-אמינות). הם מהמאמרים המצוטטים ביותר בתחום מדעי המחשב<ref></ref>, ומתארים אלגוריתמים לפתרון בעיות בסיסיות רבות במערכות מבוזרות, ביניהם:
* אלגוריתם פקסוס לבניית קונצנזוס בין מכונות חישוב שונות
* אלגוריתם המאפייה למניעה הדדית בין תהליכים במערכת מחשב הדורשים את אותם משאבים בו זמנית
* אלגוריתם Chandy-Lamport להגדרת מצב גלובלי עקבי (תמונת מצב) במערכת מבוזרת
* חתימת למפורט, אחד מאבות הטיפוס של החתימה הדיגיטלית

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

בשנת 1983 פנה פיטר גורדון, עורך בהוצאת הספרים Addison-Wesley, אל למפורט ושכנע אותו להפוך את מדריך המשתמש של LaTeX לספר, אף שלמפורט היה בספק אם אנשים ישלמו כסף על ספר כזה
. בספטמבר 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.

=== לוגיקה עיתית ===
למפורט ידוע גם בעבודתו על לוגיקה עיתית (לוגיקת זמן), בה הציג את הלוגיקה העיתית של פעולות (TLA)<ref></ref><ref></ref>.
בין תרומותיו ניתן למנות את TLA<sup>+</sup>, שפה להגדרה ובחינה של מערכות מגיבות ובו-זמניות, אותה תיאר בספרו Specifying Systems: The TLA<sup>+</sup> Language and Tools for Hardware and Software Engineers <ref></ref> והגדיר כ"ניסיון דון קישוטי להתגבר על סלידתם של מהנדסים ממתמטיקה"<ref></ref>.

=== פרסים ותוארי כבוד ===
בשנת 2004 קיבל את פרס IEEE על שם עמנואל ר. פיורה המוענק על תרומות בתחום עיבוד נתונים ממוחשב<ref></ref>. בשנת 2005 קיבל מאמרו "Reaching Agreement in the Presence of Faults" <ref></ref> את פרס דייקסטרה <ref></ref>. בשנת 2008 קיבל את מדליית IEEE על שם ג'ון פון נוימן<ref></ref>.

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

למפורט הוא זוכה פרס טיורינג לשנת 2013 על "תרומות יסודיות לתיאוריה ולפרקטיקה של מערכות מבוזרות ובו-זמניות, בעיקר המצאת מושגים כמו סיבתיות ושעונים לוגיים, בטיחות וחיות, מכונות מצב משוכפלות, ועקיבות סדרתית"<ref></ref><ref></ref>.

בשנת 2014 נבחר לעמית של ה-ACM על תרומות יסודיות לתיאוריה ולפרקטיקה של מערכות מבוזרות ובו-זמניות<ref>[http://awards.acm.org/award_winners/lamport_1205376.cfm Leslie Lamport ACM Fellows 2014]</ref>.

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

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

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

* 

* 

== הערות שוליים ==

קטגוריה:בעלי תואר דוקטור מאוניברסיטת ברנדייס
קטגוריה:זוכי פרס דייקסטרה
קטגוריה:זוכי פרס טיורינג
קטגוריה:חברי האקדמיה הלאומית למדעים של ארצות הברית
קטגוריה:מדעני מחשב אמריקאים
קטגוריה:עובדי מיקרוסופט
קטגוריה:אמריקאים שנולדו ב-1941