İçeriğe atla

Jim Gray (bilgisayar bilimcisi)

Jim Gray
Gray (2006)
DoğumJames Nicholas Gray
12 Ocak 1944(1944-01-12)[1]
San Francisco, Kaliforniya, ABD[2]
Kaybolma28 Ocak 2007 (63 yaşında)
San Francisco, Kaliforniya, ABD
EğitimKaliforniya Üniversitesi, Berkeley
MeslekBilgisayar bilimcisi
EvlilikLoretta
Donna Carnes
Çocuk(lar)1
ÖdüllerTuring Ödülü (1998)[3]

James Nicholas Gray (d. 12 Ocak 1944 - 28 Ocak 2007 tarihinde kayboldu, 2012'de ölü ilan edildi [4]), Amerikalı bilgisayar bilimcisi. Kaliforniya Üniversitesi, Berkeley mezunu olan Gray 1998 yılında Turing Ödülü'nü almaya hak kazanmıştır.[5] Veritabanı konulu araştırmalarıyla bilinmektedir.

Kaynakça

  1. ^ "DeWitt Undergraduate CS Scholarship: Dr. James Gray". Wisconsin-Madison Üniversitesi. 3 Mart 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 17 Aralık 2017. 
  2. ^ Oral History Interview with Jim Gray, Charles Babbage Enstitüsü, Minnesota Üniversitesi. 3 Ocak 2002
  3. ^ Gray, J. (2003). "What next?: A dozen information-technology research goals" (PDF). Journal of the ACM. Cilt 50. ss. 41-57. doi:10.1145/602382.602401. 4 Mart 2016 tarihinde kaynağından (PDF) arşivlendi. Erişim tarihi: 17 Aralık 2017. 
  4. ^ Greengard, Samuel (Haziran 2012). Vardi, Moshe (Ed.). "Jim Gray Declared Dead". Communications of the ACM. 55 (7). ACM Media. s. 19. doi:10.1145/2209249.2209257. ISSN 0001-0782. 
  5. ^ Gray, Jim (1998). "Jim Gray - A.M. Turing Award Winner". ACM. 2 Ekim 2017 tarihinde kaynağından arşivlendi. Erişim tarihi: 17 Aralık 2017. 


İlgili Araştırma Makaleleri

<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.

Alonzo Church, matematiksel mantığa ve teorik bilgisayar biliminin temellerine büyük katkılarda bulunan Amerikalı bir matematikçi ve mantıkçıydı. En çok, Entscheidungsproblem, Frege-Church ontolojisi ve Church-Rosser teoreminin çözülemezliğini kanıtlayan lambda kalkülüs, Church-Turing tezi ile tanınır. Ayrıca dil felsefesi üzerinde çalıştı.

<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 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.

Deadlock ya da kilitlenme, iki ya da daha fazla eylemin devam etmek için birbirlerinin bitmesini beklemesi ve sonuçta ikisinin de devam edememesi durumu. Genellikle "yumurta mı tavuk mu önce gelir?" gibi paradokslarda görülür.

Ciddi oyun, salt eğlenceden farklı bir amaçla tasarlanan oyunlara verilen ad. Ciddi ön eki genellikle savunma, eğitim, bilimsel keşif, sağlık, kriz yönetimi, mühendislik ve politika gibi alanlarda kullanılan video oyunlarını belirtmek için eklenir. Fikir olarak, simülasyon ile genel benzerlikleri vardır, ancak ciddi oyunlar eğlence ve rekabetten kaynaklanan ek bir pedagojik değere sahiptir.

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

Leslie B. Lamport, 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. 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. 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.

<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">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.

Arthur John Robin Gorell Milner, Britanyalı bilgisayar bilimcisi. ML programlama diline yaptığı katkılardan ötürü 1991'de Turing Ödülü'nü almaya hak kazanmıştır. 2005 yılında EATCS Ödülü'ne değer görülen Milner'ın Royal Society üyeliği de bulunmaktadır.

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">James H. Wilkinson</span> İngiliz bilgisayar bilimcisi

James Hardy Wilkinson, İngiliz bilgisayar bilimcisi. Sayısal çözümlemeye yaptığı katkılardan ötürü 1970'te Turing Ödülü'nü almaya hak kazanmıştır. Wilkinson, nümerik yazılımlar için verilen ödüle de esin kaynağı olmuştur.

<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">Edwin Catmull</span>

Edwin Earl Catmull, Amerikalı bilgisayar bilimci. Pixar ve Walt Disney Animation Studios'ta müdürlük de yapmıştır. 3 boyutlu bilgisayar grafikleri konulu çalışmalarından ötürü 2019'da Turing Ödülü'ne değer görülmüştür.

<span class="mw-page-title-main">Radia Perlman</span> Amerikalı yazılımcı

Radia Joy Perlman, Amerikalı bilgisayar programcısı ve ağ mühendisi. Digital Equipment Corporation'da çalıştığı sırada geliştirdiği Spanning Tree Protocol (STP) ile tanınmıştır. Dell EMC'de görev yapmaktadır.

<span class="mw-page-title-main">Monika Henzinger</span>

Monika Henzinger bir Alman bilgisayar bilimcisi ve Google'da eski bir araştırma direktörüdür.. Halen Viyana Üniversitesi'nde profesördür. Viyana Üniversitesi'ne geçmeden önce EPFL, İsviçre'de profesördü. Uzmanlığı temel olarak veri yapıları, algoritmik oyun teorisi, bilgi erişimi, arama algoritmaları ve web veri madenciliği odaklı algoritmalar üzerinedir. Thomas Henzinger ile evli ve üç çocuğu vardır.

<span class="mw-page-title-main">Anna Karlin</span> Amerikalı bilgisayar bilimcisi

Anna R. Karlin, Washington Üniversitesi'nde Microsoft Bilgisayar Bilimi ve Mühendisliği Profesörü olan Amerikalı bir bilgisayar bilimcidir.

Alfred Vaino Aho, Kanadalı bilgisayar bilimci. Programlama dilleri ve derleyiciler konulu çalışmalarıyla tanınmıştır.