Informatica is de theorie, experimenten en engineering die de basis vormen voor het ontwerp en gebruik van computers. Het omvat de studie van algoritmen die digitale informatie verwerken, opslaan en communiceren. Een informaticus is gespecialiseerd in de theorie van berekeningen en het ontwerpen van computersystemen.
De velden kunnen worden onderverdeeld in verschillende theoretische en praktische disciplines. Sommige velden, zoals de computationele complexiteitstheorie (die de fundamentele eigenschappen van computationele en hardnekkige problemen onderzoekt), zijn zeer abstract, terwijl velden zoals computergraphics de nadruk leggen op visuele toepassingen in de echte wereld. Andere velden zijn gericht op uitdagingen bij het implementeren van berekeningen. Zo houdt de programmeertaaltheorie rekening met verschillende benaderingen voor de beschrijving van berekeningen, terwijl de studie van computerprogrammering zelf verschillende aspecten van het gebruik van programmeertalen en complexe systemen onderzoekt. Mens-computerinteractie beschouwt de uitdagingen bij het nuttig, bruikbaar en universeel toegankelijk maken van computers en berekeningen voor mensen.