Ciência da computação é a teoria, experimentação e engenharia que formam a base para o design e uso de computadores. Envolve o estudo de algoritmos que processam, armazenam e comunicam informações digitais. Um cientista da computação é especialista na teoria da computação e no design de sistemas computacionais.
Seus campos podem ser divididos em uma variedade de disciplinas teóricas e práticas. Alguns campos, como a teoria da complexidade computacional (que explora as propriedades fundamentais de problemas computacionais e intratáveis), são altamente abstratos, enquanto campos como gráficos de computador enfatizam aplicativos visuais do mundo real. Outros campos se concentram em desafios na implementação da computação. Por exemplo, a teoria da linguagem de programação considera várias abordagens para a descrição da computação, enquanto o próprio estudo da programação de computadores investiga vários aspectos do uso de linguagens de programação e sistemas complexos. A interação homem-computador considera os desafios de tornar computadores e cálculos úteis, utilizáveis e universalmente acessíveis aos seres humanos.