Leslie Lamport
Leslie Lamport, né le 7 février 1941 à New York, est un chercheur en informatique américain, spécialiste de l'algorithmique répartie.
Sommaire |
Biographie [modifier]
Il a fait des études en mathématiques au Massachusetts Institute of Technology (MIT) puis à l'université 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].
Bibliographie [modifier]
- (en) Leslie Lamport, LaTeX: a document preparation system
Références [modifier]
- IEEE John von Neumann Medal Recipients, IEEE. Consulté le 15 mars 2010
Voir aussi [modifier]
Articles connexes [modifier]
Liens externes [modifier]
- (en) Page personnelle
- (en) Publications de Leslie Lamport sur son site personnel
- (en) Publications de Leslie Lamport sur DBLP
- (en) Publications de Leslie Lamport sur ScientificCommons
