İçeriğe atla

Silvio Micali

Silvio Micali
Doğum13 Ekim 1954 (70 yaşında)
Palermo, İtalya
EğitimRoma La Sapienza Üniversitesi
Kaliforniya Üniversitesi, Berkeley
ÖdüllerGödel Ödülü (1993)
Turing Ödülü (2012)[1]
Kariyeri
DalıBilgisayar bilimi
Şifrebilim
Doktora
danışmanı
Manuel Blum[2]
Doktora öğrencileriMihir Bellare
Rafail Ostrovsky
Phillip Rogaway
[2][3]

Silvio Micali (d. 13 Ekim 1954), 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.[4][5]

1993'te verilmeye başlayan Gödel Ödülü'nü kazanan ilk bilim insanlarından biri olan Micali 2012 yılında Turing Ödülü'ne değer görülmüştür.

Kaynakça

  1. ^ Savage, N. (2013). "Proofs probable: Shafi Goldwasser and Silvio Micali laid the foundations for modern cryptography, with contributions including interactive and zero-knowledge proofs". Communications of the ACM. 56 (6). s. 22. doi:10.1145/2461256.2461265. 
  2. ^ a b Mathematics Genealogy Project'te Silvio Micali
  3. ^ "Arşivlenmiş kopya" (PDF). 28 Mayıs 2019 tarihinde kaynağından (PDF) arşivlendi. Erişim tarihi: 25 Kasım 2017. 
  4. ^ Fischer, M. J.; Micali, S.; Rackoff, C. (1996). "A secure protocol for the oblivious transfer". Journal of Cryptology. 9 (3). doi:10.1007/BF00208002. 
  5. ^ Goldreich, O.; Micali, S.; Wigderson, A. (Temmuz 1991). "Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems" (PDF). Journal of the ACM. 38 (3). s. 690. doi:10.1145/116825.116852. 10 Haziran 2017 tarihinde kaynağından arşivlendi (PDF). Erişim tarihi: 25 Kasım 2017. 

İlgili Araştırma Makaleleri

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

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

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

Veri analizinde, anomali tespiti, verilerin çoğunluğundan önemli ölçüde farklılaşarak şüphe uyandıran nadir öğelerin, olayların veya gözlemlerin tanımlanmasıdır. Tipik olarak anormal öğeler, banka dolandırıcılığı, yapısal bir kusur, tıbbi sorunlar veya bir metindeki hatalar gibi bir tür soruna dönüşecektir. Anormallikler ayrıca aykırı değerler, yenilikler, gürültü, sapmalar ve istisnalar olarak da adlandırılmaktadır.

<span class="mw-page-title-main">İlişkisel model</span> Veritabanı modeli

İlişkisel model, veritabanı yönetiminde birinci dereceden yüklem mantığına dayanan bir yaklaşımdır. Veriler, ilişkilerde gruplanmış demetler üzerinden temsil edilir. İlişkisel model kullanılarak tasarlanan veritabanlarına ilişkisel veritabanı adı verilir.

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

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

DBLP, bilgisayar bilimi bibliyografya sitesidir. 1993'te Almanya'daki Universität Trier'de başlayarak, küçük bir HTML dosyaları koleksiyonundan büyüdü ve bir veritabanı ve mantık programlama bibliyografya sitesi barındıran bir organizasyon haline geldi. Kasım 2018'den bu yana DBLP, Schloss Dagstuhl – Leibniz-Zentrum für Informatik'in (LZI) bir şubesidir. DBLP, 1995'te yaklaşık 14.000 ve Temmuz 2016'da 3,66 milyon olan bilgisayar bilimi üzerine Aralık 2020'de 5,4 milyondan fazla dergi makalesi, konferans makalesi ve diğer yayın listeledi.. Bilgisayar bilimi ile ilgili tüm önemli dergiler izlenir. Birçok konferansın tutanakları da takip edilmektedir. İnternetteki üç sitede yansıtılır.

Semantic Scholar, Allen Yapay Zeka Enstitüsü'nde geliştirilen ve Kasım 2015'te halka açık olarak yayınlanan bilimsel literatür için yapay zekâ destekli bir araştırma aracıdır. Bilimsel makaleler için özetler sağlamak üzere doğal dil işlemedeki gelişmeleri kullanır. Semantic Scholar ekibi, yapay zekanın doğal dil işleme, makine öğrenimi, İnsan-bilgisayar etkileşimi ve bilgi çekme alanlarında kullanımını aktif olarak araştırmaktadır.

SHARE İşletim Sistemi SHARE kullanıcı grubu tarafından 1959 yılında tanıtılımış bir işletim sistemidir. General Motors'un GM-NAA I/O adlı işletim sisteminin geliştirilmiş bir sürümüdür ve IBM 704 için geliştirlmiş ilk işletim sistemidir. Ana amaç programların paylaşımını geliştirmekti.