Leslie Lamport – Biografia
Leslie Lamport, urodzony 7 lutego 1941 roku w Nowym Jorku, jest amerykańskim informatykiem i matematykiem. Jest najbardziej znany z pracy nad systemami rozproszonymi oraz jako twórca systemu przygotowania dokumentów LaTeX i autor jego pierwszego podręcznika. W 2013 roku otrzymał Nagrodę Turinga za wprowadzenie jasnych i dobrze zdefiniowanych zasad w pozornie chaotycznym zachowaniu systemów obliczeniowych. Jego badania przyczyniły się do poprawy poprawności, wydajności i niezawodności systemów komputerowych. Lamport uzyskał tytuł licencjata matematyki na Massachusetts Institute of Technology w 1960 roku, a następnie tytuły magistra i doktora na Uniwersytecie Brandeis. Pracował w Massachusetts Computer Associates, SRI International oraz Digital Equipment Corporation, a od 2001 roku jest związany z Microsoft Research
Gdzie i kiedy się urodził
- Data
- Miasto
- Nowy Jork
- Region
- Nowy Jork
- Kraj
- USA
Skąd pochodzi – narodowość i języki
- Narodowość
- Amerykańska (USA)
- Języki
- angielski
Życie prywatne – rodzina
- Rodzice (imiona)
- Benjamin Lamport, Hannah Lamport
Ważne daty – kalendarium życia
- 1960 – Uzyskanie tytułu licencjata matematyki na MIT
- 1963 – Uzyskanie tytułu magistra matematyki na Uniwersytecie Brandeis
- 1972 – Uzyskanie tytułu doktora matematyki na Uniwersytecie Brandeis
- 2013 – Otrzymanie Nagrody Turinga
- 2025 – Przejście na emeryturę
Szkoły i studia – wykształcenie
- Szkoła / uczelnia
- Massachusetts Institute of Technology
- Kierunek studiów
- matematyka
- Tytuł
- licencjat
- Lata nauki
- 1956-1960
- Szkoła / uczelnia
- Brandeis University
- Kierunek studiów
- matematyka
- Tytuł
- magister
- Lata nauki
- 1960-1963
- Szkoła / uczelnia
- Brandeis University
- Kierunek studiów
- matematyka
- Tytuł
- doktor
- Lata nauki
- 1967-1972
O twórczości – czym się zajmuje
- Zawód
- informatyk, matematyk
- Gatunki
- nauki ścisłe, informatyka
- O czym pisze (tematy)
- systemy rozproszone, algorytmy, logika czasowa
- Skąd czerpał inspirację
- matematyka, informatyka
- Kto na nim się wzorował
- systemy rozproszone, LaTeX, algorytmy konsensusu
Najważniejsze książki i dzieła
- Tytuł
- Time, Clocks, and the Ordering of Events in a Distributed System
- Rok wydania
- 1978
- Rodzaj
- artykuł naukowy
- O czym jest
- Praca dotycząca uporządkowania zdarzeń w systemach rozproszonych
- Tytuł
- The Byzantine Generals' Problem
- Rok wydania
- 1982
- Rodzaj
- artykuł naukowy
- O czym jest
- Analiza problemu komunikacji w systemach rozproszonych
- Tytuł
- LaTeX: A Document Preparation System
- Rok wydania
- 1986
- Rodzaj
- podręcznik
- O czym jest
- Podręcznik użytkownika systemu LaTeX
Nagrody i wyróżnienia
- Edsger W. Dijkstra Prize in Distributed Computing ()
- IEEE John von Neumann Medal (2008)
- Nagroda Turinga (2013) – za wkład w teorię i praktykę systemów rozproszonych
Słynne cytaty autora
TLA+ is a quixotic attempt to overcome engineers' antipathy towards mathematics
— Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Co o nim mówią – krytycy i czytelnicy
- Ocena krytyków
- Prace Lamporta są szeroko cytowane i uznawane za fundamentalne w teorii systemów rozproszonych
- Znaczenie dla kultury
- Jego prace miały znaczący wpływ na rozwój algorytmów w informatyce
