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.
Bilişim, bilişim bilimi ya da bilgisayar bilimi, bilgi ve hesaplamanın kuramsal temellerini ve bunların bilgisayar sistemlerinde uygulanabilmeleri sağlayan pratik teknikleri araştıran bir yapısal bilim dalıdır. Bilişimciler ya da bilgisayar bilimcileri bilgi oluşturan, tanımlayan ve dönüştüren algoritmik süreçler icat edip, kompleks sistemleri tasarlamak ve modellemek için uygun soyutlamalar formüle ederler. Bilişim Dünya'da hızla gelişmeye devam eden önemli bir teknolojidir.
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.
Bilim felsefesi, epistemoloji, ontoloji, etik ve estetik gibi felsefenin temel alt bölümlerinden birisidir.
Donald Ervin Knuth, Stanford Üniversitesi emekli profesörü ve yapmış olduğu çalışmalarla dünyaca tanınan ünlü bilgisayar bilimci olarak bilinir. Knuth The Art of Computer Programming (“TAOCP”) serisinin yazarıdır. Bu seriyi hayatı boyunca yaptığı en güzel çalışması olarak görmektedir.
Teorik fizik, fiziğin matematiksel modellemeler ve fiziksel nesnelerin soyutlandırılmaları çalışmaları ve doğa olaylarını açıklayan, gerçekselleştiren ve tahmin yürüten fizik dalıdır. Bu deneysel fiziğin zıttıdır ki deneysel fizik araçlarla bu olayları soruşturur.
Edsger Wybe Dijkstra Hollandalı matematikçi ve bilgisayar bilimci.
Teorik bilgisayar bilim(ler)i, bilgisayar biliminin alt dallarıdırlar ve daha çok soyut, mantıksal ve matematiksel yönleri üzerine odaklanırlar.
Max Planck Bilişim Enstitüsü veya Max Planck Bilgisayar Bilimi Enstitüsü Almanya'nın Saarbrücken kentinde bulunan, bünyesinde bilişim dalında Ar-Ge çalışmaları yürütülen bir araştırma enstitüsüdür. Max Planck Topluluğu'nun bir parçasıdır. Enstitü 1990 yılında kurulmuştur. Günümüzde enstitüdeki araştırmacılar 5 bölüm ve 3 araştırma grubunda çalışmalarını sürdürmektedir. Araştırma çalışmaları yapılan alanlar arasında hem kuramsal hem de uygulamaya yönelik alanlar yer almaktadır. Çalışma dili İngilizcedir.
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.
Dina Katabi,, , Suriyeli bilgisayar bilimi uzmanı ve Massachusetts Teknoloji Enstitüsü'nün (MIT) Bilgisayar Bilimleri ve Yapay Zekâ Laboratuvarı'nın yöneticisi.
Weizmann Bilim Enstitüsü İsrail Devleti kurulmadan 14 yıl önce, 1934 yılında, İsrail’de kurulan bir araştırma üniversitesidir. Tel Aviv’in güneyinde Rehovot'da kurulmuştur. Diğer İsrail üniversitelerinden farklıdır. Bunun nedeni, sadece doğa ve fen bilimlerinde lisans ve lisansüstü eğitim vermesidir. Çok disiplinli bir araştırma merkezi olan enstitüde, 3,800 civarında bilim insanı, doktora ve yüksek lisans öğrencileri, bilim ve teknik alanda çalışanlar ve profesörler vardır. 2019 yılına gelindiğinde, 6 Nobel Ödülü sahibi ve 3 Turing Ödülü sahibi, Weitzmann Enstitüsüyle ilişkilendirilmiştir.
Bilgisayar bilimi tarihi, modern dijital bilgisayarların ortaya çıkışından çok daha öncelere dayanmaktadır. Abaküs gibi sabit sayısal görevleri hesaplamak için kullanılan makineler, antik çağlardan beri çarpma ve bölme gibi hesaplamalara yardımcı olmuştur. Hesaplamalar yapmaya yaran algoritmalar, antik çağlardan beri, hatta gelişmiş bilgi işlem ekipmanlarının geliştirilmesinden önce bile var olmuştur.
Avi Wigderson, İsrailli matematikçi ve bilgisayar bilimcidir. Princeton, New Jersey'deki Institute for Advanced Study'nin matematik fakültesinde Herbert H. Maass Profesörüdür. Araştırma alanları arasında karmaşıklık teorisi, paralel algoritmalar, grafik teorisi, kriptografi, dağıtılmış bilgi işlem ve sinir ağları bulunmaktadır. Çalışmaları nedeniyle 2021 yılında Abel Ödülü'nü aldı.
Gödel Ödülü European Association for Theoretical Computer Science ve Association for Computing Machinery'nin her yıl birlikte belirlediği ve teorik bilgisayar bilimi alanındaki en seçkin makalelerin yazarlarına verilen bir ödüldür.
Nataša Jonoska, bir matematikçi ve Güney Florida Üniversitesi'nde DNA hesaplama konusundaki çalışmaları ile tanınan profesördür. Araştırmaları "özellikle hücresel veya diğer sonlu otomat türleri, biçimsel dil teorisi sembolik dinamikleri ve moleküler hesaplamayı tanımlamak için topolojik çizge teorisi gibi resmi modelleri kullanarak" biyolojinin hesaplamayı nasıl gerçekleştirdiği hakkındadı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.
Alfred Vaino Aho, Kanadalı bilgisayar bilimci. Programlama dilleri ve derleyiciler konulu çalışmalarıyla tanınmıştır.
Patrick Colonel Suppes bilim felsefesine, ölçüm teorisine, kuantum mekaniğinin temellerine, karar teorisine, psikolojiye ve eğitim teknolojisine önemli katkılarda bulunan Amerikalı bir filozoftur. Stanford Üniversitesi'nde Lucie Stern Fahri Felsefe Profesörüydü ve Ocak 2010'a kadar yine Stanford'da Üstün Zekalılar için Eğitim Programı Direktörüydü.
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.
