The research group Computational Mathematics works with mathematical modeling and method development for the study of systems, encompassing mathematical proof structures as well as physical structures spanning from the molecular to the planetary level.

Logic as an academic subject is the study of reasoning, and mathematical logic is the study of mathematical reasoning in its various precise forms. This research group is active in several areas of the field including, constructive mathematics, type theory and category-theoretic logic, as well as the philosophical aspects of logic and mathematics.