Leslie Lamport '60

Il primo computer che Leslie Lamport ha incontrato durante il suo primo anno al MIT è stato un IBM 704. L'estate prima, aveva imparato a montare e cambiare nastri di memoria di archiviazione esterna su una macchina del genere in un lavoro part-time presso Con Edison a New York . Nel tempo libero ho imparato a programmare il computer ea fare dei piccoli programmi, ricorda.

Lamport si è laureato al MIT in tre anni con una laurea in matematica, e poi ha conseguito altre due lauree in matematica: un master nel 1963 e un dottorato di ricerca nel 1972, entrambi alla Brandeis University. Ha costruito una carriera nel campo dell'informatica presso Compass, SRI International, Digital Equipment e Microsoft. Questo giugno, l'Association for Computing Machinery ha conferito al primo premio di Lamport computing, il Turing Award. È arrivato con un assegno di $ 250.000.

Come era chiaro in quelle prime esperienze, Lambor ha sempre cercato di rimboccarsi le maniche e valutare i problemi pratici e quotidiani dei computer.

In lavoro influente pubblicato nel 1978, Lamport ha esposto molti dei concetti chiave dell'informatica distribuita, che hanno gettato le basi per i sistemi che consentono ai computer di lavorare insieme nello spazio e nel tempo, nonostante i guasti occasionali. Gli algoritmi e i protocolli da lui sviluppati, inclusi gli orologi logici, che catturano le relazioni cronologiche e causali in un sistema distribuito, e il protocollo di tolleranza agli errori noto come Paxos, avrebbero contribuito a rendere possibile il World Wide Web. Oggi, le tecnologie che vanno dai motori di ricerca ai call center dei servizi di emergenza sanitaria ai sistemi di controllo del traffico aereo si basano sulle sue scoperte.

Lambport, che vive con la moglie a Palo Alto, in California, è umile riguardo al suo lavoro.

Mi è stato attribuito il merito di aver iniziato la teoria dei sistemi distribuiti e mi sento imbarazzato da questo, perché non vedo una teoria lì, dice. Non c'è niente come la meccanica newtoniana o la relatività, qualcosa nel senso scientifico che definiresti una teoria. Ma guardando tutti questi piccoli lavori che ho fatto, anche se non ho creato una teoria, ho creato, con l'aiuto di altri, un percorso che altre persone hanno seguito da allora e mi sono trasformato in un'autostrada.

Lamport sogna ancora una teoria di fondo che legherebbe insieme tutto il suo lavoro sul modo in cui i processi simultanei si influenzano a vicenda nei sistemi informatici. Ma in una giornata tipo, è più intenzionato a incoraggiare gli ingegneri a utilizzare gli algoritmi e gli strumenti che sta sviluppando presso la Microsoft Research di Palo Alto.

È un grande laboratorio, con ottimi colleghi e una grande azienda che apprezza davvero la ricerca, dice.

Il sentimento è reciproco.

Leslie ha fatto grandi cose non solo per il campo dell'informatica, ma anche per aiutare a rendere il mondo un posto più sicuro, ha affermato il fondatore di Microsoft Bill Gates in un tributo a Microsoft. Innumerevoli persone in tutto il mondo traggono vantaggio dal suo lavoro senza mai sentire il suo nome.

nascondere