211service.com
Leslie Lamport ’60
Den första datorn som Leslie Lamport stötte på under sitt första år på MIT var en IBM 704. Sommaren innan hade han lärt sig att montera och byta externa minnesband på en sådan maskin i ett deltidsjobb på Con Edison i New York. . På fritiden lärde jag mig att programmera datorn och gjorde några små program, minns han.
Lamport tog examen från MIT på tre år med en examen i matematik, och sedan tog han ytterligare två matematiska grader: en magisterexamen 1963 och en doktorsexamen 1972, båda vid Brandeis University. Han byggde en karriär inom datavetenskap på Compass, SRI International, Digital Equipment och Microsoft. I juni delade Association for Computing Machinery ut Lamport computings högsta pris, Turing Award. Det följde med en check på $250 000.
Som var tydligt i dessa tidiga erfarenheter, försökte Lamport alltid kavla upp ärmarna och bedöma datorernas praktiska, vardagliga problem.
I framträdande arbete som publicerades 1978, redogjorde Lamport för många av nyckelbegreppen inom distribuerad datoranvändning, vilket lade grunden för de system som gör det möjligt för datorer att samarbeta över rum och tid, trots tillfälliga misslyckanden. Algoritmer och protokoll som han utvecklade – inklusive logiska klockor, som fångar kronologiska och kausala samband i ett distribuerat system, och feltoleransprotokollet känt som Paxos – skulle hjälpa till att göra World Wide Web möjligt. Idag är tekniker som sträcker sig från sökmotorer till 911-callcenter till flygledningssystem beroende av hans genombrott.
Lamport, som bor med sin fru i Palo Alto, Kalifornien, är ödmjuk inför sitt arbete.
Jag har fått äran att ha initierat teorin om distribuerade system och jag känner mig generad över det, för jag ser ingen teori där, säger han. Det finns ingenting där som Newtonsk mekanik eller relativitet, något i vetenskapens mening man skulle kalla en teori. Men när jag tittade på alla dessa små bitar av arbete jag har gjort, även om jag inte skapade en teori, skapade jag, med hjälp av andra, en väg som andra människor sedan dess har följt – och förvandlats till en motorväg.
Lamport drömmer fortfarande om en underliggande teori som skulle knyta ihop allt hans arbete om hur samtidiga processer påverkar varandra i datorsystem. Men en vanlig dag är han mer inriktad på att uppmuntra ingenjörer att använda de algoritmer och verktyg han utvecklar på Microsoft Research i Palo Alto.
Det är ett fantastiskt labb, med fantastiska kollegor och ett fantastiskt företag som verkligen uppskattar forskning, säger han.
Känslan är ömsesidig.
Leslie har gjort fantastiska saker inte bara för datavetenskap, utan också för att hjälpa till att göra världen till en säkrare plats, sa Microsofts grundare Bill Gates i en Microsoft-hyllning. Oräkneliga människor runt om i världen drar nytta av hans arbete utan att någonsin höra hans namn.