La informática es la teoría, la experimentación y la ingeniería que forman la base para el diseño y uso de las computadoras. Implica el estudio de algoritmos que procesan, almacenan y comunican información digital. Un científico informático se especializa en la teoría de la computación y el diseño de sistemas computacionales.
Sus campos se pueden dividir en una variedad de disciplinas teóricas y prácticas. Algunos campos, como la teoría de la complejidad computacional (que explora las propiedades fundamentales de los problemas computacionales e intratables), son altamente abstractos, mientras que los campos como los gráficos por computadora enfatizan las aplicaciones visuales del mundo real. Otros campos se centran en los desafíos en la implementación de la computación. Por ejemplo, la teoría del lenguaje de programación considera varios enfoques para la descripción de la computación, mientras que el estudio de la programación de computadoras investiga varios aspectos del uso de lenguajes de programación y sistemas complejos. La interacción humano-computadora considera los desafíos para hacer que las computadoras y los cálculos sean útiles, utilizables y universalmente accesibles para los humanos.