Компютърните науки са теорията, експериментирането и инженерството, които формират основата за проектирането и използването на компютрите. Тя включва проучване на алгоритми, които обработват, съхраняват и предават цифрова информация. Компютърен учен е специализиран в теорията на изчисленията и проектирането на изчислителни системи.
Областите му могат да бъдат разделени на различни теоретични и практически дисциплини. Някои полета, като теорията за сложността на изчисленията (която изследва основните свойства на изчислителните и неразрешими проблеми), са силно абстрактни, докато полета като компютърна графика подчертават реалните визуални приложения. Други области се фокусират върху предизвикателствата при прилагането на изчисленията. Например теорията на езика на програмиране разглежда различни подходи към описанието на изчисленията, докато самото изучаване на компютърното програмиране изследва различни аспекти на използването на езици за програмиране и сложни системи. Човешко-компютърното взаимодействие отчита предизвикателствата в превръщането на компютрите и изчисленията в полезни, използваеми и общодостъпни за хората.