Leslie Lamport - Leslie Lamport

Leslie Lamport
Leslie Lamport.jpg
Doğmak
Leslie B. Lamport

( 1941-07-02 )2 Temmuz 1941 (80 yaşında)
New York , New York
gidilen okul
Bilinen
Ödüller
Bilimsel kariyer
Alanlar Bilgisayar Bilimi
kurumlar
Tez Tekil verilerle analitik Cauchy problemi  (1972)
Doktora danışmanı Richard Palais
İnternet sitesi Lamport .org

Leslie B. Lamport (2 Temmuz 1941 doğumlu) Amerikalı bir bilgisayar bilimcisidir . Lamport, en çok dağıtık sistemlerdeki çığır açıcı çalışması ve belge hazırlama sistemi LaTeX'in ilk geliştiricisi ve ilk kılavuzunun yazarı olarak bilinir . Leslie Lamport, birkaç otonom bilgisayarın mesaj ileterek birbirleriyle iletişim kurduğu dağıtılmış bilgi işlem sistemlerinin görünüşte kaotik davranışına net, iyi tanımlanmış tutarlılık empoze ettiği için 2013 Turing Ödülü'nün sahibi oldu . Önemli algoritmalar geliştirdi ve gerçek dağıtılmış sistemlerin kalitesini artıran resmi modelleme ve doğrulama protokolleri geliştirdi. Bu katkılar, bilgisayar sistemlerinin doğruluğunun, performansının ve güvenilirliğinin artmasıyla sonuçlanmıştır.

Hayatın erken dönemi ve eğitim

Mezunu Bronx Fen Lisesi , o alınan BS içinde matematik gelen Massachusetts Institute of Technology'den 1960 yılında, ve MA ve doktora sırasıyla 1963 ve 1972'de Brandeis Üniversitesi'nden matematik diploması aldı. Doktora tezi analitik kısmi diferansiyel denklemlerdeki tekillikler hakkındaydı .

Kariyer ve araştırma

Lamport bir bilgisayar bilim adamı olarak çalıştı Massachusetts Computer Associates 1977 1970, SRI Uluslararası 1977 den 1985 kadar ve Digital Equipment Corporation, ve Compaq 1985 den 2001 kadar 2001 yılında katıldı , Microsoft Research in California .

Dağıtılmış sistemler

Lamport'un araştırma katkıları, dağıtılmış sistemler teorisinin temellerini attı. En dikkate değer makaleleri arasında

Bu makaleler, mantıksal saatler (ve önceki -olmuş ilişkisi) ve Bizans başarısızlıkları gibi kavramlarla ilgilidir . Bilgisayar bilimi alanında en çok alıntı yapılan makaleler arasındadır ve dağıtılmış sistemlerdeki birçok temel sorunu çözmek için algoritmaları açıklar:

Lateks

Ne zaman Donald Knuth erken bültenleri çıkarmaya başladı TeX 1980'lerin başında, Lamport - Bir kitap yazmayı kendi kişisel ihtiyacı nedeniyle - aynı zamanda daha sonra standart makro paket haline geleceğini umarak ona dayalı makro kümesi üzerinde çalışmaya başladı. Bu makro seti daha sonra LaTeX olarak bilinecekti ve bunun için daha sonra 1983'te Addison-Wesley editörü Peter Gordon, Lamport'un kullanım kılavuzunu bir kitaba dönüştürmesini önerdi.

Eylül 1984'te Lamport, LaTeX makrolarının 2.06a sürümünü yayınladı ve Ağustos 1985'te Lamport'un LaTeX'inin son sürümü olan LaTeX 2.09 da piyasaya sürülecekti. Bu arada Addison-Wesley, Lamport'un ilk LaTeX kullanım kılavuzu olan LaTeX: Bir Belge Hazırlama Sistemi'ni 1986'da yayımladı ve bunun "birkaç yüz binden fazla" kopya sattığı iddia edildi ve 21 Ağustos 1989'da Stanford'daki bir TeX Kullanıcı Grubu toplantısında , Lamport, LaTeX'in bakım ve geliştirmesini, Chris Rowley ve Rainer Schöpf ile birlikte LaTeX3 ekibini oluşturacak ve ardından 1994'te LaTeX'in şu anki sürümü olan LaTeX 2e'yi piyasaya sürecek olan Frank Mittelbach'a devretmeyi kabul edecekti.

zamansal mantık

Lamport, zamansal mantık üzerine yaptığı çalışmalarla da tanınır ve burada eylemlerin zamansal mantığını (TLA) tanıttı . En son katkıları arasında, Eşzamanlı ve reaktif sistemler hakkında belirleme ve muhakeme için bir dil olan TLA + , Sistemleri Belirtme: Donanım ve Yazılım Mühendisleri için TLA + Dil ve Araçlar kitabında tanımladığı ve " bunun üstesinden gelmek için donkişotvari bir girişim " olarak tanımladığı bir dildir. mühendislerin matematiğe karşı antipatisi".

Ödüller ve onurlar

Lamport, 2014 yılında "dağıtılmış ve eşzamanlı sistemlerin teori ve pratiğine temel katkılar, özellikle nedensellik ve mantıksal saatler, güvenlik ve canlılık, kopyalanmış durum makineleri ve sıralı tutarlılık gibi kavramların icadı" için 2013 Turing Ödülü'nü aldı . Eşzamanlı ve hataya dayanıklı hesaplamanın teorik temellerine katkılarından dolayı 1991 yılında Ulusal Mühendislik Akademisi üyeliğine seçildi . 2014 yılında dağıtık ve eşzamanlı sistemlerin teori ve pratiğine temel katkılarından dolayı ACM Üyesi seçildi . Ayrıca Avrupa üniversitelerinden beş fahri doktora aldı: 2003 yılında Rennes Üniversitesi ve Christian Albrechts Kiel Üniversitesi, 2004 yılında EPFL , Üniversite 2006'da Lugano ve 2007'de Nancy-Université . 2004'te IEEE Emanuel R. Piore Ödülü'nü aldı . 2005 yılında, "Hataların Varlığında Anlaşmaya Varmak" başlıklı makale Dijkstra Ödülü'nü aldı . Lamport'un altmışıncı doğum günü şerefine, 20. Distributed Computing İlkeleri Sempozyumu'nda (PODC 2001) bir konferans dizisi düzenlendi . 2008 yılında IEEE John von Neumann Madalyası aldı . 2011 yılında Amerika Birleşik Devletleri Ulusal Bilimler Akademisi'ne seçildi .

Referanslar

Dış bağlantılar