Рачунарска наука је теорија, експериментирање и инжењеринг који представљају основу за дизајн и употребу рачунара. То укључује проучавање алгоритама који обрађују, складиште и преносе дигиталне информације. Информатичар се специјализовао за теорију рачунања и дизајн рачунарских система.
Њена подручја се могу поделити у различите теоријске и практичне дисциплине. Нека поља, попут теорије рачунарске сложености (која истражује основна својства рачунарских и неизречивих проблема), веома су апстрактна, док поља попут рачунарске графике наглашавају стварне визуелне апликације. Остала поља се фокусирају на изазове у примени рачунања. На пример, теорија програмског језика разматра различите приступе опису рачунања, док сама студија рачунарског програмирања истражује различите аспекте употребе програмских језика и сложених система. Интеракција између човека и рачунара узима у обзир изазове у чињењу да су рачунари и рачуни корисни, употребљиви и универзално доступни људима.