Bilgisayar bilimi, bilgisayarların tasarımı ve kullanımı için temel oluşturan teori, deney ve mühendisliktir. Dijital bilgileri işleyen, depolayan ve ileten algoritmaların çalışılmasını içerir. Bir bilgisayar bilimcisi, hesaplama teorisi ve hesaplama sistemlerinin tasarımı konusunda uzmanlaşmıştır.
Alanları çeşitli teorik ve pratik disiplinlere ayrılabilir. Hesaplama karmaşıklığı teorisi (hesaplama ve zor problemlerin temel özelliklerini araştıran) gibi bazı alanlar son derece soyutken, bilgisayar grafikleri gibi alanlar gerçek dünya görsel uygulamalarını vurgulamaktadır. Diğer alanlar hesaplamanın uygulanmasındaki zorluklara odaklanmaktadır. Örneğin, programlama dili teorisi, hesaplamanın tanımına yönelik çeşitli yaklaşımları göz önünde bulundururken, bilgisayar programlamasının kendisi, programlama dillerinin ve karmaşık sistemlerin kullanımının çeşitli yönlerini araştırmaktadır. İnsan-bilgisayar etkileşimi, bilgisayarları ve hesaplamaları insanlar için kullanışlı, kullanılabilir ve evrensel olarak erişilebilir hale getirmedeki zorlukları göz önünde bulundurur.