İçeriğe atla

Leslie Lamport

Leslie Lamport
Doğum7 Şubat 1941 (83 yaşında)
New York, ABD
EğitimMassachusetts Teknoloji Enstitüsü (lisans)
Brandeis Üniversitesi (doktora)
ÖdüllerIEEE John von Neumann Madalyası (2008)
Turing Ödülü (2013)
Kariyeri
DalıBilgisayar bilimi
Doktora
danışmanı
Richard Palais[1]

Leslie B. Lamport (d. 7 Şubat 1941), Amerikalı bilgisayar bilimcisi. Dağıtık sistemler üzerindeki çalışmalarının yanı sıra LaTeX adlı belge hazırlama uygulamasının geliştiricisi olarak tanınmıştır.[2] Lamport, birbirleriyle sistem iletileri yoluyla haberleşen otomatik makinelerin oluşturduğu karmaşık dağıtık sistemlere getirdiği çözümlerden ötürü 2013 Turing Ödülü'ne değer görülmüştür.[3] Biçimsel modeller konulu araştırmalarıyla da bilinen Lamport'un geliştirdiği algoritmalar bilgisayar sistemlerinin doğruluk, başarım ve güvenilirliğini artırmıştır.[4]

Kaynakça

  1. ^ Mathematics Genealogy Project'te Leslie Lamport
  2. ^ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 0-201-15790-X. 16 Ağustos 2007 tarihinde kaynağından arşivlendi. Erişim tarihi: 24 Kasım 2017. 
  3. ^ Lamport, Leslie (2013). "Leslie Lamport - A.M. Turing Award Winner". ACM. 16 Ocak 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 24 Kasım 2017. 
  4. ^ Lamport, L. (1978). "Time, clocks, and the ordering of events in a distributed system" (PDF). Communications of the ACM. 21 (7). ss. 558-565. doi:10.1145/359545.359563. 31 Ekim 2008 tarihinde kaynağından arşivlendi (PDF). Erişim tarihi: 24 Kasım 2017. 

İlgili Araştırma Makaleleri

<span class="mw-page-title-main">Bilgisayar mühendisliği</span> bilgisayar donanımı ve yazılımı geliştirmek için bilgisayar bilimi ve elektrik mühendisliğini entegre eden disiplin

Bilgisayar mühendisliği temel olarak yazılım, programlama ve algoritma ile ilgilenir. Bilgisayar ağları, veri tabanı yöneticiliği ve gömülü sistemler de diğer çalışma alanlarıdır.

<span class="mw-page-title-main">Bilgisayar bilimi</span> belirli evren kurallarına dayalı, sistematik çalışan ve elementlerin ya da ağların birbirleriyle olan ilişkisi

Bilgisayar bilimi, bilgisayarların tasarımı ve kullanımı için temel oluşturan teori, deney ve mühendislik çalışmasıdır. Hesaplamaya ve uygulamalarına bilimsel ve pratik bir yaklaşımdır. Bilgisayar bilimi; edinim, temsil, işleme, depolama, iletişim ve erişimin altında yatan yönteme dayalı prosedürlerin veya algoritmaların fizibilitesi, yapısı, ifadesi ve mekanizasyonunun sistematik çalışmasıdır. Bilgisayar biliminin alternatif, daha özlü tanımı "büyük, orta veya küçük ölçekli algoritmik işlemleri otomatikleştirme çalışması" olarak nitelendirilebilir. Bir bilgisayar bilimcisi, hesaplama teorisi ve hesaplama sistemlerinin tasarımı konusunda uzmanlaşmıştır.

<span class="mw-page-title-main">Association for Computing Machinery</span>

Bilgisayar Derneği, bilgisayar bilimleri alanındaki en eski mesleki kuruluştur. 1947'de kurulmuş, günümüzde 80.000 üyeye ulaşmıştır. Mesleki ve akademik yayınları ile toplantı faaliyetlerinin yanı sıra, bilişim dalının en önemli ödülü kabul edilen Turing Ödülü'nü vermesiyle de bilinir. Merkezi New York şehrindedir. Dünya genelini kapsayan üyelik sistemi ile bilişim teknolojisinin çeşitli alanları ile uğraşan profesyonellere ve öğrencilere kaynak sağlamaktadır.

<span class="mw-page-title-main">Turing Ödülü</span> bilgisayar bilimi ödülü

ACM A.M. Turing Ödülü, modern bilgisayar biliminin kurucularından sayılan Alan Turing anısına, 1966'dan beri her yıl Association for Computing Machinery (ACM) tarafından bilişim dünyasına katkıda bulunanlara verilen bir ödüldür. Ödüle değer görülen katkılarda "kalıcı olma ve bilgisayar bilimi dünyasına önemli bir etki yapma" koşulu aranmaktadır. Bilişim konulu en önemli ödül olduğu düşünülen Turing Ödülü bilgisayar dünyasının Nobel Ödülü olarak da anılmaktadır.

<span class="mw-page-title-main">Claude Elwood Shannon</span> Amerikalı matematikçi (1916 – 2001)

Claude Elwood Shannon, Amerikalı matematikçi, elektrik mühendisi ve kriptograftır. Bilgi kuramının babası olarak da bilinmektedir.

<span class="mw-page-title-main">Fred Brooks</span> Amerikalı yazılım mühendisi ve bilgisayar bilimci (1931-2022)

Frederick Phillips Brooks, Jr., Amerikalı yazılım mühendisi ve bilgisayar bilimcisidir. The Mythical Man-Month adlı kitabın yazarıdır ve 1999 yılında Turing Ödülü almıştır.

Bilgisayar bilimleri'nde NoSQL, klasik ilişkisel veritabanı yönetim sistemlerinden (İVTYS) bir şekilde farklı olan veritabanı yönetim sistemleri için kullanılan bir kavramdır. Bu veri depolarının sabit tabela düzenlerine ihtiyaçları olmayabilir, alışılagelmiş join işlemleri kullanılmaz, tipik olarak yatay ölçeklemeye gidilir. Akademisyenlerce ve makalelerde tipik olarak böyle veri depolarına yapılanmış bellek denir. Bu kavram klasik ilişkisel veritabanlarını altküme olarak görür. Bu kavram aynı zamanda SQL ve Daha Fazlası olarak da adlandırılmaktadır.

Bilgisayar bilimi felsefesi, bilgisayar bilimi çalışmasında ortaya çıkan felsefi sorularla ilgilidir. Fizik felsefesi veya matematik felsefesi gibi bir bilgisayar bilimi felsefesi geliştirmeye yönelik bazı girişimlere rağmen, bilgisayar bilimi felsefesinin içeriği, amacı, odağı veya konusu hakkında hala ortak bir anlayış yoktur. Bilgisayar programlarının soyut doğası ve bilgisayar biliminin teknolojik tutkuları nedeniyle, bilgisayar bilimi felsefesinin kavramsal sorularının çoğu, bilim felsefesi, matematik felsefesi ve teknoloji felsefesi ile de karşılaştırılabilir.

<span class="mw-page-title-main">Martin Hellman</span>

Martin Edward Hellman, Amerikalı şifrebilimci. Whitfield Diffie ve Ralph Merkle'la birlikte geliştirdiği açık anahtarlı şifreleme teknolojisi ile tanınmıştır. Bilgisayar gizliliği konusunda uzun süreli çalışmalar yapmış olan Hellman, nükleer caydırıcılığa risk temelli bir açıklama da getirmiştir.

<span class="mw-page-title-main">Silvio Micali</span>

Silvio Micali, Massachusetts Teknoloji Enstitüsü'nde profesör olarak çalışan İtalyan bilgisayar bilimcisi. Şifrebilim ve bilgi güvenliği konulu çalışmalarıyla tanınmıştır.

<span class="mw-page-title-main">Shafi Goldwasser</span>

Shafrira Goldwasser, Amerikalı-İsrailli bilgisayar bilimcisi. Massachusetts Teknoloji Enstitüsü ve Weizmann Enstitüsü'nde profesör olarak çalışmaktadır.

<span class="mw-page-title-main">Leslie Valiant</span>

Leslie Gabriel Valiant FRS, Britanyalı bilgisayar bilimcisi. Harvard Üniversitesi'nde profesör olarak çalışan Valiant Vijay Vazirani'yle birlikte ortaya koyduğu hesaplamalı karmaşıklık teoremiyle tanınmıştır. Leslie Valiant 1997'de Knuth Ödülü'nü, 2010 yılında ise Turing Ödülü'nü kazanmıştır.

<span class="mw-page-title-main">Leonard Adleman</span> Amerikan bilgisayar bilimcisi

Leonard Adleman, Amerikalı bilgisayar bilimcisi. RSA adlı şifreleme sistemine yaptığı katkılardan ötürü 2002 yılında Turing Ödülü'nü almaya hak kazanmıştır. Adleman DNA bilgisayarlarını geliştiren kişi olarak da bilinmektedir.

<span class="mw-page-title-main">Adi Shamir</span>

Adi Shamir İsrailli bir kriptograf. Rivest-Shamir-Adleman (RSA) algoritmasının ortak mucidi, Feige-Fiat-Shamir tanımlama şemasının ortak mucidi, diferansiyel kriptanalizin mucitlerinden biri olup kriptografi ve bilgisayar bilimi alanlarına sayısız katkılarda bulunmuştur.

<span class="mw-page-title-main">Jim Gray (bilgisayar bilimcisi)</span>

James Nicholas Gray, Amerikalı bilgisayar bilimcisi. Kaliforniya Üniversitesi, Berkeley mezunu olan Gray 1998 yılında Turing Ödülü'nü almaya hak kazanmıştır. Veritabanı konulu araştırmalarıyla bilinmektedir.

Edgar Frank "Ted" Codd, İngiliz bilgisayar bilimcisi. IBM'de çalıştığı sırada ilişkisel modeli tasarlayarak çağdaş veritabanı yönetim sistemlerinin temellerini atmıştır. Oxford Üniversitesi'nde matematik ve kimya öğrenimi görmüş olan Codd 1981'de Turing Ödülü'nü almaya hak kazanmıştır.

<span class="mw-page-title-main">Eşzamanlılık (bilgisayar bilimleri)</span>

Bilgisayar biliminde koşut zamanlılık bir program, algoritma ya da probleme ait parçaların, sonucu değiştirmeyecek biçimde, belirli bir sıraya uyulmaksızın işletilmesidir. Parçaların birden çok işlemciyle ya da çok çekirdekli bir işlemciyle çalıştırılması sonuca daha kısa sürede ulaşılmasını sağlamaktadır.

<span class="mw-page-title-main">David Patterson (bilgisayar bilimcisi)</span> Amerikan bilgisayar bilimi öncüsü ve akademisyeni (d. 1947)

David Andrew Patterson, Amerikalı bilgisayar bilimcisi. 1976-2016 yılları arasında Kaliforniya Üniversitesi, Berkeley'de profesör olarak çalışmış ve ardından Google şirketiyle anlaşmıştır. Bilgisayar mimarisine yaptığı katkılardan ötürü John L. Hennessy'yle birlikte 2017 Turing Ödülü'nü almaya hak kazanmıştır.

Emin Gün Sirer Türk asıllı Amerikan Bilgisayar bilimcisi. Cornell Üniversitesi bilgisayar bilimi doçent profesörüydü, IC3'ün eski eş direktörü, Ava Labs'ın kurucusu ve CEOsudur.Peer-to-peer, işletim sistemleri ve Bilgisayar ağları konusundaki katkıları ile bilinir. Sirer ayrıca Avalanche consensus kullanarak bilgi işlem platformu oluşturmaya ilişkin bir proje olan Avalanche protokolünün de kurucusudur.

Michael Kearns, Amerikalı bilgisayar bilimcisi, profesör ve Pensilvanya Üniversitesinde Ulusal Merkez Başkanı, üniversitenin Ağ ve Sosyal Sistemler Mühendisliği Programı'nın (NETS) kurucu direktörü, Warren Ağ ve Veri Bilimleri Merkezi'nin kurucu direktörüdür. Ayrıca üniversitenin Wharton Okulu'nda ve Ekonomi bölümünde ikincil görevleri mevcuttur. Hesaplamalı öğrenme teorisi ve algoritmik oyun teorisinde önde gelen bir araştırmacıdır. Makine öğrenimi, yapay zekâ, hesaplamalı finans, algoritmik ticaret, hesaplamalı sosyal bilimler ve sosyal ağlar ile ilgilenmektedir. Daha önce Morgan Stanley'nin Yapay Zeka Mükemmeliyet Merkezi ekibinde Danışmanlık ve Araştırma işlevini yönetmiştir. Şu anda Amazon Web Services bünyesinde bir Amazon Uzmanıdır.