Le jeudi 3 avril 2003 à 16h, amphi
Louis Antoine,
Leslie Lamport donnera une conférence sur le sujet suivant :
" Comment écrire une preuve "
L'exposé en français présente une méthode d'écriture des preuves qui rend beaucoup plus difficile la preuve d'énoncés qui sont faux. Cette méthode, fondée sur une structuration hiérarchique, est à la fois simple et pratique.
Leslie Lamport, citoyen américain, est né le 7 février 1941 à New York. Il a obtenu un PhD en mathématiques à l'université de Brandeis (Boston, MA) en 1972. Il a ensuite travaillé au Massachussetts Computer Associates (Boston) jusqu'en 1977 avant de rejoindre la Californie où il a travaillé successivement au SRI International, puis à DEC (Digital Equipement Corparation) et Compaq, avant de rejoindre le laboratoire de recherche de Microsoft à Mountain View.Les apports de Leslie Lamport dans la discipline informatique sont nombreux. Ils concernent le calcul parallèle, les sytèmes répartis, la tolérance aux fautes, la logique temporelle, la synchronisation, la cryptographie, la spécification et la validation. L'originalité et la démarche de Leslie Lamport consistent à considérer des problèmes pratiques (qu'il juge pertinents), à en tirer la "subtantifique moëlle" et à proposer ensuite des solutions générales, mathématiquement fondées. Plusieurs problèmes et algorithmes célébres lui sont dus (les "généraux byzantins", et l'algorithme Paxos, pour n'en citer que quelques uns).
Leslie Lamport est aussi mondialement connu pour avoir conçu et réalisé le système d'édition de textes "Latex", qui se révèle être le système le plus utilisé dans le monde scientifique.
Leslie Lamport est l'auteur de 140 publications parues dans les meilleures
conférences internationales et les revues de tout premier plan. Il a
également publié deux ouvrages, l'un consacré à
Latex, l'autre à la logique et au langage TLA+ dédié à
la spécification des systémes complexes.
En 2000, Leslie Lamport a obtenu le prestigieux "PODC -Principles
of Distributed Computing- most influential paper award" pour son article
fondateur de 1981 qui a établi les fondements des systèmes répartis.
L'ACM (qui est la première société savante international
en informatique) l'a honoré à l'occasion de ses 60 ans en lui
consacrant la conférence PODC 2000 (centrée sur
les principes des systèmes répartis). Leslie Lamport est membre
de la National Academy of Engineering des Etats-unis.
Leslie Lamport a effectué plusieurs séjours à l'université de Rennes 1.
Sa home page et sa bibliographie