leslie lamport
-
(bkz: lamport's clocks)
-
hali hazirda microsoft research'un mountain view kampusunde cali$maktadir.
-
uzunca bir suredir tla adini verdigi sembolik mantik temelli program dogrulama ortami uzerine calisan adam. super ukala olmakla beraber, ozellikle paralel programlama alaninda yaptigi calismalarin degeri yadsinamaz.
-
hipster tayfa arasinda latex'le biliniyor olsa da distributed systems konusunun bugun bir cok yerde kullanilan temellerini atmis, paxos algorithm (consensus), byzantine fault tolerance, chandy-lamport algorithm (snapshotting), bakery algorithm (mutual exclusion) gibi naneleri ortaya koymus, mountain view'daki micosoft research'te calisan amca.
"computation" nedir, kendi agzindan dinliyoruz. http://www.youtube.com/watch?v=bdphfruafnu -
sonunda turing award'ini almis microsoft research gurusu. eh amk kac yil gecti yeni mi veriyonuz, adam o arada gocse gitse yazik olmayacak miydi...
http://research.microsoft.com/…/lamport-031814.aspx -
halk arasındaki kafası karışık saçı sakalı ağarmış ve salmış bilim adamı tanımına en fazla uyan amcalardan biri. bu da ak sakallı dede bizim rüyalarımızdaki de, hangisi gerçek ak sakallı bilen varsa söylesin de gerçek ak sakallı benim ayağı yapamasın diğeri .
-
turing award sahibi bilgisayar bilimci. tla+ ile ilgili online derslerine şuradan erişilebilir: tla+ video course
-
bilgisayar biliminin nobeli sayılan turing ödülünü 2013 yılında almış (peşin edit: ödülün açıklanışı 2014 başı ama 2013 yılı ödülü) isviçre çakısı tadında bilim insanı. her ne kadar dağıtık sistemler alanındaki çalışmaları ile bu ödülü aldıysa da benim gönlümde özet zincirleri (hash chain) ile ilgili çalışması ile taht kurmaya devam edecektir.
katkılarının blokzincirin temelini oluşturduğu düşünülürse acm'in ne derece öngörülü bir karar verdiği de anlaşılır. gerçi çok geç almıştır bu ödülü ama olsun... -
kendisi ve calismalari hakkinda $oyle bir kitap varmis yeni gordum: http://books.acm.org/titles#tab312
-
şöyle bir yazısı var:
https://www.quantamagazine.org/…more-math-20220517/
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap