211service.com
Leslie Lamport ’60
De eerste computer die Leslie Lamport in zijn eerste jaar aan het MIT tegenkwam, was een IBM 704. De zomer ervoor had hij in een parttime baan bij Con Edison in New York geleerd hoe hij externe opslaggeheugenbanden op zo'n machine moest monteren en verwisselen. . In mijn vrije tijd leerde ik de computer programmeren en maakte ik een paar kleine programma's, herinnert hij zich.
Lamport studeerde in drie jaar af aan het MIT met een graad in wiskunde, en behaalde daarna nog twee wiskundegraden: een master in 1963 en een doctoraat in 1972, beide aan de Brandeis University. Hij bouwde een carrière op in computerwetenschappen bij Compass, SRI International, Digital Equipment en Microsoft. In juni reikte de Association for Computing Machinery de hoofdprijs van Lamport computing uit, de Turing Award. Het kwam met een cheque van $ 250.000.
Zoals duidelijk was in die vroege ervaringen, probeerde Lamport altijd zijn mouwen op te stropen en de praktische, alledaagse problemen van computers te beoordelen.
In baanbrekend werk Lamport, gepubliceerd in 1978, zette veel van de belangrijkste concepten op het gebied van gedistribueerd computergebruik uiteen, die de basis legden voor de systemen die computers in staat stellen samen te werken in ruimte en tijd, ondanks incidentele storingen. Algoritmen en protocollen die hij ontwikkelde - inclusief logische klokken, die chronologische en causale relaties in een gedistribueerd systeem vastleggen, en het fouttolerantieprotocol dat bekend staat als Paxos - zouden het World Wide Web mogelijk maken. Tegenwoordig vertrouwen technologieën, variërend van zoekmachines tot 911-callcenters tot luchtverkeersleidingssystemen, op zijn doorbraken.
Lamport, die met zijn vrouw in Palo Alto, Californië woont, is bescheiden over zijn werk.
Ik heb de eer gekregen om de theorie van gedistribueerde systemen te initiëren en ik schaam me daarvoor, omdat ik daar geen theorie zie, zegt hij. Er gaat niets boven Newtoniaanse mechanica of relativiteit, iets in de wetenschappelijke zin dat je een theorie zou noemen. Maar door te kijken naar al deze kleine stukjes werk die ik heb gedaan, heb ik, hoewel ik geen theorie heb gemaakt, met de hulp van anderen een pad gecreëerd dat andere mensen sindsdien hebben gevolgd - en veranderde in een snelweg.
Lamport droomt nog steeds van een onderliggende theorie die al zijn werk zou verbinden over de manier waarop gelijktijdige processen elkaar beïnvloeden in computersystemen. Maar op een normale dag is hij meer van plan om technici aan te moedigen de algoritmen en tools te gebruiken die hij ontwikkelt bij Microsoft Research in Palo Alto.
Het is een geweldig lab, met geweldige collega's en een geweldig bedrijf dat onderzoek erg waardeert, zegt hij.
Het gevoel is wederzijds.
Leslie heeft geweldige dingen gedaan, niet alleen voor de informatica, maar ook om de wereld veiliger te maken, zei Microsoft-oprichter Bill Gates in een eerbetoon aan Microsoft. Talloze mensen over de hele wereld profiteren van zijn werk zonder ooit zijn naam te horen.