Leslie Lamport

Leslie Lamport
Leslie Lamport

Leslie Lamport est un chercheur en informatique américain, spécialiste de l'algorithmique répartie. Il est né en 1941 à New York et a fait des études en mathématiques au Massachusetts Institute of Technology (MIT) puis à l'université de Brandeis.

Il a notamment formulé en 1979 la relation « arrivé-avant » (en anglais « happened before »), qui permet d'obtenir un ordre partiel sur les actions dans des systèmes répartis. Lamport a également inventé le système d'horloges qui porte son nom. Elles sont utilisées dans le cadre de la synchronisation des systèmes distribués. Il a également travaillé sur certains aspects cryptographiques comme les mots de passe à usage unique et d'autres problèmes liés au consensus et à la concurrence dans les réseaux.

Cependant, Leslie Lamport est principalement connu hors de la communauté scientifique de l'informatique comme le créateur de LaTeX (basé lui-même sur TeX, de Donald Knuth), un système de mise en page de documents notamment utilisé par les scientifiques de nombreuses disciplines (informatique, mathématiques, physique, bio-informatique...) pour des documents comportant de nombreuses formules mathématiques. Depuis, le développement de LaTeX est assuré par d'autres.

Il travaille depuis 2001 pour Microsoft Research.

En 2008, il reçoit la médaille John von Neumann[1].

Sommaire

Bibliographie

  • (en) Leslie Lamport, LaTeX: a document preparation system

Voir aussi

Références

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Leslie Lamport de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Leslie Lamport — (nacido en 1941) es un computólogo estadounidense. Es especialmente conocido por ser el desarrollador inicial del sistema de formateo de textos LaTeX, y de BibTeX. Leslie Lamport se licenció en matemáticas en 1960 en el MIT (Massachusetts… …   Wikipedia Español

  • Leslie Lamport — (* 7. Februar 1941 in New York) ist ein US amerikanischer Mathematiker, Informatiker und Programmierer. Lamport schloss 1960 am Massachusetts Institute of Technology mit dem Bachelor in Mathematik ab. 1963 erlangte er an de …   Deutsch Wikipedia

  • Leslie Lamport — Infobox Scientist name = Leslie Lamport image width = 150px caption = birth date = February 7, 1941 birth place = New York City, New York death date = death place = residence = citizenship = nationality = ethnicity = field = Computer Science work …   Wikipedia

  • Lamport Hash — Leslie Lamport Leslie Lamport (* 7. Februar 1941 in New York) ist ein US amerikanischer Mathematiker, Informatiker und Programmierer. Lamport schloss 1960 am Massachusetts Institute of Technology mit dem Bachelor in Mathematik ab. 1963 erlangte… …   Deutsch Wikipedia

  • Lamport timestamps — Leslie Lamport invented a simple mechanism by which the happened before ordering can be captured numerically. A Lamport logical clock is a monotonically incrementing software counter.It follows some simple rules:# The counter is incremented… …   Wikipedia

  • Lamport — may refer to:;Places *Lamport, Buckinghamshire, England. *Lamport, Northamptonshire, England. **Lamport Hall is nearby **Northampton Lamport Railway also nearby;People *Allan A. Lamport, Mayor of Toronto, 1952 ndash;1954 *Leslie Lamport, American …   Wikipedia

  • Lamport's bakery algorithm — is a computer algorithm devised by computer scientist Dr. Leslie Lamport, which is intended to improve the safety in the usage of shared resources among multiple threads by means of mutual exclusion. Nature of the problem In computer science, it… …   Wikipedia

  • Lamport — bezeichnet folgende Personen: Leslie Lamport (* 1941), US amerikanischer Mathematiker, Informatiker und Programmierer Allan Lamport (1903–1999), 50. Bürgermeister von Toronto Siehe auch: Lamport Uhr …   Deutsch Wikipedia

  • Leslie (homonymie) — Leslie Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Leslie est un patronyme gaélique qui signifie « jardin de houx ». Ce nom est ensuite devenue un prénom épicène. Sommaire 1 Patronyme 2… …   Wikipédia en Français

  • Lamport-Zeit — Die Lamport Uhr (nach dem amerikanischen Mathematiker und Informatiker Leslie Lamport) ist eine Softwarekomponente (oder ein Protokoll) zum Zuweisen von eindeutigen Zeitstempeln an Nachrichten. Sie ist also eine Logische Uhr, die es erlaubt, den… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”