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.
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.
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.
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.
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.
Ernest Allen Emerson, Amerikalı bilgisayar bilimcisi. Austin Teksas Üniversitesi'nde profesör olarak çalışmaktadır. Model denetimi konulu çalışmasıyla Edmund M. Clarke ve Joseph Sifakis'le birlikte 2007 Turing Ödülü'nü almaya hak kazanmıştır.
Alan Curtis Kay, Amerikalı bilgisayar bilimcisi. Nesne yönelimli programlama ve pencere sistemi konulu çalışmalarıyla tanınmıştır. Kay 2003 yılında Turing Ödülü'nü almaya hak kazanmıştır.
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.
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.
William "Velvel" Morton Kahan, Kanadalı matematikçi ve bilgisayar bilimcisi. Sayısal yöntemlere yaptığı katkılardan ötürü 1989'da Turing Ödülü'nü almaya hak kazanmıştır. 1994'te ACM Fellow olan Kahan 2005'te ABD Millî Mühendislik Akademisi üyeliğiyle onurlandırılmıştır.
Robert Endre Tarjan, Amerikalı bilgisayar bilimcisi ve matematikçi. Çizge kuramına yaptığı katkılarla tanınan Tarjan Princeton Üniversitesi'nde profesör olarak görev yapmaktadır. Tarjan 1982'de Nevanlinna Ödülü'nü, 1986'da Turing Ödülü'nü almaya hak kazanmıştı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.
John Leroy Hennessy, Amerikalı bilgisayar bilimcisi ve iş insanı. Alphabet adlı şirketin yönetim kurulu başkanı olan Hennessy MIPS Technologies ve Atheros'un kurucuları arasındadır. Bilgisayar mimarisine yaptığı katkılardan ötürü David Patterson'la birlikte 2017 Turing Ödülü'nü almaya hak kazanmıştır.
David Patterson adlı kişiler:
- David Patterson, Amerikalı bilgisayar bilimcisi
- David J. Patterson, İrlandalı biyolog
- David Patterson, Amerikalı gitarist
- David P. Patterson, Amerikalı iş insanı
- David T. Patterson, Amerikalı siyasetçi
CiteSeerx, özellikle bilgisayar ve bilgi bilimi alanlarında, bilimsel ve akademik makaleler için halka açık bir arama motoru ve dijital kütüphanedir. CiteSeer, Google Akademik ve Microsoft Akademik Arama gibi akademik arama araçlarının öncülü olarak kabul edilir. CiteSeer benzeri motorlar ve arşivler genellikle yalnızca herkese açık web sitelerinden doküman toplar ve yayıncı web sitelerini taramaz. Bu nedenle, belgeleri serbestçe temin edilebilen yazarların indekste temsil edilme olasılıkları daha yüksektir.
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.
Patrick M. Hanrahan, Amerikalı bilgisayar grafikleri araştırmacısı. Stanford Üniversitesi'ne bağlı Bilgisayar Grafikleri Laboratuvarı'nda çalışmaktadır. Grafik işlemci birimi ve bilimsel görselleştirme konulu çalışmalarıyla tanınmıştır.
Jeffrey David Ullman, Amerikalı bilgisayar bilimci. Stanford Üniversitesinde emekli profesör olarak görev yapan Ullman'ın derleyiciler, veri yapıları ve veritabanları ile ilgili kitapları yükseköğretimde temel başvuru kaynakları arasında sayılmaktadır.
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.
