» »

Leslie Lamport prejel Turingovo nagrado

Leslie Lamport prejel Turingovo nagrado

Slo-Tech - Leslie Lamport iz Microsoft Research prejme letošnjo Turingovo nagrado, ki jo podeljuje ACM (Association for Computing Machinery) in velja za ekvivalent Nobelove nagrade v računalništvu. Lamport prejme nagrado za pomembne prispevke k teoriji in praktično uporabi sistemov za distribuirano računanje. Pomembni koncepti, ki jih je vpeljal, obsegajo vzročnost (causality), logične ure (logical clocks), varnost in živost (safety and liveness), RSM (replicated state machines) in sekvenčno konsistentnost (sequential cansistency).

Lamport je po izobrazbi matematik z diplomo z MIT-a in doktoratom Univerze Brandeis, zaposlen pa je v Microsoft Research. Večino dela, za katerega se podeljuje nagrada, je opravil v 80. in 90. letih prejšnjega stoletja, preden se je pridružil Microsoftu.

Eden izmed največkrat citiranih člankov v računalništvu je prav njegov Time, Clocks, and the Ordering of Events in a Distributed System. V njem se ukvarja s problemom urejenosti dogodkov v distribuiranih sistemih, ko ni tako preprosto ugotoviti, kateri dogodek se je zgodil prej, in obratno, to je zagotoviti, da se nek dogodek zgodi pred drugim. Poleg tega je Lamport k računalništvu prispeval na področju problema bizantinskih generalov, jezika TLA+ in pa LaTeXa.

3 komentarji

user1618 ::

V tem videu bi si vsak programer moral ogledati od 38:00 naprej. Oziroma od začetka, da izjave dobijo smisel.
"If we were supposed to talk more than listen
we would have been given two mouths and one ear"
- Mark Twain

MatejMatej ::

Hehe, Leslie Lamport je odkril/opisal problem Bizantinskih generalov, Satoši Nakamoto pa ga je rešil :-)
ALi bo naslednjo Turingovo dobil Satoši?

fiction ::

Kaj pa če gre za eno in isto osebo? ;)


Vredno ogleda ...

TemaSporočilaOglediZadnje sporočilo
TemaSporočilaOglediZadnje sporočilo
»

Microsoft nadaljuje odpuščanja tudi v razvoju in raziskavah

Oddelek: Novice / Ostale najave
73993 (2257) ZigaZiga
»

Nobelova nagrada za mir 2013

Oddelek: Novice / Znanost in tehnologija
165872 (3545) CaqKa
»

Slovenija druga na Microsoftovem tekmovanju v računalništvu

Oddelek: Novice / Znanost in tehnologija
155499 (3309) trizob
»

Slovenec na Stanfordu odkril algoritem za napoved naslednjih prijateljev na Facebooku (strani: 1 2 )

Oddelek: Novice / Znanost in tehnologija
5218495 (14068) Alexius Heristalski
»

Dobitnik Turingove nagrade Charles Thacker

Oddelek: Novice / Znanost in tehnologija
73255 (2858) sammy73

Več podobnih tem