Informatica teorica

L' Informatica teorica è un insieme di argomenti dell'informatica che si concentrano sugli aspetti più astratti e matematici della computazione, come la teoria della computazione. l'analisi degli algoritmi e la semantica della programmazione. Nonostante non abbia come oggetto un singolo argomento, i suoi ricercatori formano un gruppo distinto tra i ricercatori informatici.

Scopo

Non è facile circoscrivere esattamente le aree teoriche precisamente; lo Special Interest Group on Algorithms and Computation Theory dell' ACM (SIGACT), che descrive la sua missione come la promozione dell'informatica teorica, dice: "I campi di ricerca dell'informatica teorica sono ampi così che includono gli algoritmi, le strutture, la teoria della complessità computazionale, la computazione distribuita, parallel computation, VLSI, machine learning, computational biology, computational geometry, information theory, cryptography, quantum computation, computational number theory and algebra, program semantics and verification, automata theory, and the study of randomness. Work in this field is often distinguished by its emphasis on mathematical technique and rigor." Even so, the "theory people" in CS self-identify as different. Some characterize themselves as doing the "'science' underlying the field of computing"[1], although this neglects the experimental science done in non-theoretical areas such as software system research.