Leslie Lamport
 | Tähän artikkeliin tai sen osaan on merkitty lähteitä, mutta niihin ei viitata. Älä poista mallinetta ennen kuin viitteet on lisätty. Voit auttaa Wikipediaa lisäämällä artikkelille asianmukaisia viitteitä. Lähteettömät tiedot voidaan kyseenalaistaa tai poistaa. |
Leslie B. Lamport (s. 7. helmikuuta 1941) on yhdysvaltalainen tietojenkäsittelytieteilijä ja matemaatikko. Lamport tunnetaan parhaiten hajautettujen järjestelmien uraauurtavasta työstään sekä LaTeX- dokumenttien valmistelujärjestelmän ensimmäisenä kehittäjänä ja sen ensimmäisen käsikirjan kirjoittajana. Lamport syntyi juutalaiseen perheeseen Brooklynissa, New Yorkissa. Lamport voitti vuoden 2013 Turing-palkinnon selkeän, tarkasti määritellyn johdonmukaisuuden asettamisesta hajautettujen tietojenkäsittelyjärjestelmien näennäisesti kaoottiseen käyttäytymiseen , jossa useat itsenäiset tietokoneet kommunikoivat keskenään välittämällä viestejä. Hän kehitti tärkeitä algoritmeja ja kehitti muodollisia mallinnus- ja varmennusprotokollia, jotka parantavat todellisten hajautettujen järjestelmien laatua. Nämä panokset ovat parantaneet tietokonejärjestelmien oikeellisuutta, suorituskykyä ja luotettavuutta. Lamport työskenteli tietojenkäsittelytieteilijänä Massachusetts Computer Associatesissa 1970-1977, SRI Internationalissa 1977-1985 ja Digital Equipment Corporationissa ja Compaqissa 1985-2001. Vuonna 2001 hän liittyi Microsoft Researchiin Kaliforniassa.
Lähteet
- https://www.microsoft.com/en-us/research/people/lamport/
- https://lamport.azurewebsites.net/pubs/pubs.html
| ||||||||||||||||||||||||||||||
| ||||||||||||||||||
