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å.

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.