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