این شامل ریاضیات،‌ تیوری سیستم ها، و کمپیوتر ساینس تیوریکی میشود.