I matematisk logik studeras matematiska resonemang i sina olika exakta former. Forskargruppen i matematisk logik är aktiv inom flera delar av området, inklusive konstruktiv matematik, typteori och kategoriteoretisk logik, samt de filosofiska aspekterna av logik och matematik.

Forskargruppen Beräkningsmatematik forskar på matematisk modellering och utveckling av metoder för att studera system, vilket omfattar både matematiska bevisstrukturer och fysiska strukturer från molekylär till planetär nivå.