Settore dell’informatica che studia teorie e fondamenti matematici dell’informatica (teoria della calcolabilità e della complessità, teoria dei linguaggi formali, semantica dei linguaggi di programmazione, ecc.)