Leslie Lamport '60

Le premier ordinateur que Leslie Lamport a rencontré au cours de sa première année au MIT était un IBM 704. L'été précédent, il avait appris à monter et à commuter des bandes de mémoire de stockage externe sur une telle machine dans un travail à temps partiel à Con Edison à New York. . Dans mes temps libres, j'ai appris à programmer l'ordinateur et j'ai fait quelques petits programmes, se souvient-il.

Lamport est diplômé du MIT en trois ans avec un diplôme en mathématiques, puis il a obtenu deux autres diplômes en mathématiques : une maîtrise en 1963 et un doctorat en 1972, tous deux à l'Université Brandeis. Il a fait carrière en informatique chez Compass, SRI International, Digital Equipment et Microsoft. En juin dernier, l'Association for Computing Machinery a décerné le premier prix de Lamport computing, le Turing Award. Il est venu avec un chèque de 250 000 $.

Comme il ressort clairement de ces premières expériences, Lamport a toujours cherché à retrousser ses manches et à évaluer les problèmes pratiques et quotidiens des ordinateurs.

Dans travail séminal publié en 1978, Lamport a défini bon nombre des concepts clés de l'informatique distribuée, qui ont jeté les bases des systèmes permettant aux ordinateurs de fonctionner ensemble dans l'espace et dans le temps, malgré des pannes occasionnelles. Les algorithmes et protocoles qu'il a développés, y compris les horloges logiques, qui capturent les relations chronologiques et causales dans un système distribué, et le protocole de tolérance aux pannes connu sous le nom de Paxos, contribueraient à rendre le World Wide Web possible. Aujourd'hui, des technologies allant des moteurs de recherche aux centres d'appels 911 en passant par les systèmes de contrôle du trafic aérien reposent sur ses percées.

Lamport, qui vit avec sa femme à Palo Alto, en Californie, est humble à propos de son travail.

On m'a crédité d'avoir initié la théorie des systèmes distribués et je me sens gêné par cela, parce que je n'y vois pas de théorie, dit-il. Il n'y a rien là-bas comme la mécanique newtonienne ou la relativité, quelque chose au sens scientifique que vous appelleriez une théorie. Mais en regardant tous ces petits travaux que j'ai faits, bien que je n'aie pas créé de théorie, j'ai, avec l'aide d'autres, créé un chemin que d'autres personnes ont suivi depuis - et transformé en autoroute.

Lamport rêve toujours d'une théorie sous-jacente qui relierait tous ses travaux sur la façon dont les processus simultanés s'influencent les uns les autres dans les systèmes informatiques. Mais au cours d'une journée typique, il est plus déterminé à encourager les ingénieurs à utiliser les algorithmes et les outils qu'il développe chez Microsoft Research à Palo Alto.

C'est un excellent laboratoire, avec d'excellents collègues et une excellente entreprise qui apprécie vraiment la recherche, dit-il.

Le sentiment est mutuel.

Leslie a fait de grandes choses non seulement pour le domaine de l'informatique, mais aussi pour aider à rendre le monde plus sûr, a déclaré le fondateur de Microsoft, Bill Gates, dans un hommage à Microsoft. D'innombrables personnes à travers le monde bénéficient de son travail sans jamais entendre son nom.

cacher