Ilmu komputer adalah teori, eksperimen, dan kejuruteraan yang menjadi asas untuk reka bentuk dan penggunaan komputer. Ia melibatkan kajian algoritma yang memproses, menyimpan, dan menyampaikan maklumat digital. Seorang saintis komputer mengkhusus dalam teori pengiraan dan reka bentuk sistem pengkomputeran.
Bidangnya boleh dibahagikan kepada pelbagai disiplin teori dan praktikal. Beberapa bidang, seperti teori kerumitan komputasi (yang meneroka sifat asas masalah komputasi dan sukar difahami), sangat abstrak, sementara bidang seperti grafik komputer menekankan aplikasi visual dunia nyata. Bidang lain memberi tumpuan kepada cabaran dalam melaksanakan pengiraan. Sebagai contoh, teori bahasa pengaturcaraan mempertimbangkan pelbagai pendekatan untuk deskripsi pengiraan, sementara kajian pengaturcaraan komputer itu sendiri menyelidiki pelbagai aspek penggunaan bahasa pengaturcaraan dan sistem yang kompleks. Interaksi manusia-komputer menganggap cabaran dalam membuat komputer dan pengiraan berguna, dapat digunakan, dan dapat diakses oleh manusia secara universal.